Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -13,11 +13,11 @@
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