Summary

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

Details

Page properties

Content

...	...	@@ -17,15 +17,15 @@
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.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.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
28		-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=11000||shape="rect"]]. Release notes of older releases can be found at our [[doc:KIELER.Home.Overview.Release Notes.WebHome]] page.
	28	+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=11000||shape="rect"]]. Release notes of older releases can be found at our [[doc:Kieler.Overview.Release Notes.WebHome]] page.
29	29
30	30	=== Major changes ===
31	31