<
From version < 15.2 >
edited by Niklas Rentz
on 2023/07/06 14:36
To version < 16.1 >
edited by Alexander Schulz-Rosengarten
on 2023/07/11 10:25
>
Change comment: Renamed back-links.

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.nre
1 +XWiki.als
Content
... ... @@ -17,11 +17,11 @@
17 17  
18 18  KIELER Pragmatics 2016/07 is provided as a set of features, available to be added to your Eclipse installation via an update site. KIELER Pragmatics 2016/07 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.
19 19  
20 -* See the [[KIELER Downloads>>doc:KIELER.Home.Overview.Downloads.WebHome]] site for download details.
20 +* See the [[KIELER Downloads>>doc:Kieler.Overview.Downloads.WebHome]] site for download details.
21 21  * KIELER Pragmatics requires an installed Java Runtime Environment >= version 1.8.
22 22  * 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.
23 23  
24 -Also refer to the [[KIELER Downloads>>doc:KIELER.Home.Overview.Downloads.WebHome]] page to download the KIELER Ptolemy Browser and the KIELER Web Service.
24 +Also refer to the [[KIELER Downloads>>doc:Kieler.Overview.Downloads.WebHome]] page to download the KIELER Ptolemy Browser and the KIELER Web Service.
25 25  
26 26  == Release Notes and Highlights ==
27 27