Skip to Content
Last modified by Richard Kreissig on 2023/09/14 10:42
From version 8.1
edited by uru
on 2023/07/06 14:36
Change comment: Renamed back-links.
To version 10.1
edited by Niklas Rentz
on 2023/07/06 14:36
Change comment: Renamed back-links.

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.uru
1 +XWiki.nre
Content
... ... @@ -19,15 +19,15 @@
19 19  
20 20  KIELER Pragmatics 2016/02 is provided as a set of features, available to be added to your Eclipse installation via an update site. KIELER Pragmatics 2016/02 was tested on [[Eclipse 4.4 "Luna">>url:http://www.eclipse.org/downloads/||shape="rect"]], but may also be compatible with other versions of Eclipse.
21 21  
22 -* See the [[KIELER Downloads>>doc:Downloads]] site for download details.
22 +* See the [[KIELER Downloads>>doc:KIELER.Home.Overview.Downloads.WebHome]] site for download details.
23 23  * KIELER Pragmatics requires an installed Java Runtime Environment >= version 1.8.
24 24  * The layout components of KIELER 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.
25 25  
26 -Also refer to the [[KIELER Downloads>>doc:Downloads]] page to download the KIELER Ptolemy Browser and the KIELER Web Service.
26 +Also refer to the [[KIELER Downloads>>doc:KIELER.Home.Overview.Downloads.WebHome]] page to download the KIELER Ptolemy Browser and the KIELER Web Service.
27 27  
28 28  == Release Notes and Highlights ==
29 29  
30 -For this release, we have closed more than 80 tickets. You can find a list of them at [[our issue tracking system>>url:https://rtsys.informatik.uni-kiel.de/jira/secure/ReleaseNote.jspa?projectId=10400&version=10901||shape="rect"]]. Release notes of older releases can be found at our [[doc:Release Notes]] page.
30 +For this release, we have closed more than 80 tickets. You can find a list of them at [[our issue tracking system>>url:https://rtsys.informatik.uni-kiel.de/jira/secure/ReleaseNote.jspa?projectId=10400&version=10901||shape="rect"]]. Release notes of older releases can be found at our [[doc:KIELER.Home.Overview.Release Notes.WebHome]] page.
31 31  
32 32  === New Features ===
33 33