Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/07 14:41
From version 8.2
edited by Alexander Schulz-Rosengarten
on 2023/07/11 10:25
Change comment: Update document after refactoring.
To version 10.1
edited by Alexander Schulz-Rosengarten
on 2023/07/11 10:33
Change comment: Renamed back-links.

Summary

Details

Page properties
Content
... ... @@ -13,15 +13,15 @@
13 13  
14 14  KIELER Pragmatics 2017/02 is provided as a set of features, available to be added to your Eclipse installation via an update site. KIELER Pragmatics 2017/02 was tested on [[Eclipse 4.5 "Mars">>url:http://www.eclipse.org/downloads/||shape="rect"]], but may also be compatible with other versions of Eclipse.
15 15  
16 -* See the [[KIELER Downloads>>doc:Kieler.Overview.Downloads.WebHome]] site for download details.
16 +* See the [[KIELER Downloads>>doc:KIELER.Overview.Downloads.WebHome]] site for download details.
17 17  * KIELER Pragmatics requires an installed Java Runtime Environment >= version 1.8.
18 18  * The layout components of the Eclipse Layout Kernel can make use of the layout algorithms provided by the [[Graphviz>>url:http://www.graphviz.org/||rel="nofollow" shape="rect" class="external-link"]] library. You may want to install that as well.
19 19  
20 -Also refer to the [[KIELER Downloads>>doc:Kieler.Overview.Downloads.WebHome]] page to download the KIELER Ptolemy Browser and the KIELER Web Service.
20 +Also refer to the [[KIELER Downloads>>doc:KIELER.Overview.Downloads.WebHome]] page to download the KIELER Ptolemy Browser and the KIELER Web Service.
21 21  
22 22  == Release Notes and Highlights ==
23 23  
24 -You can find a list of the closed tickets for this release at [[our issue tracking system>>url:https://rtsys.informatik.uni-kiel.de/jira/secure/ReleaseNote.jspa?projectId=10400&version=11100||shape="rect"]]. Release notes of older releases can be found at our [[doc:KIELER.Home.Overview.Release Notes.WebHome]] page.
24 +You can find a list of the closed tickets for this release at [[our issue tracking system>>url:https://rtsys.informatik.uni-kiel.de/jira/secure/ReleaseNote.jspa?projectId=10400&version=11100||shape="rect"]]. Release notes of older releases can be found at our [[doc:Kieler.Overview.Release Notes.WebHome]] page.
25 25  
26 26  === Major changes ===
27 27