Changes for page KIELER Pragmatics Release 2020/03

Last modified by Richard Kreissig on 2023/09/14 10:43

From version < 7.2 >

edited by Alexander Schulz-Rosengarten
on 2023/07/06 14:36

To version < 8.1 >

edited by Alexander Schulz-Rosengarten
on 2023/07/11 10:25

Change comment: Renamed back-links.

Summary

Page properties

Content

@@ -17,7 +17,7 @@
  KIELER Pragmatics 2020/03 is provided as a set of features, available to be added to your Eclipse installation via an update site. KIELER Pragmatics 2020/03 was tested on [[Eclipse 2020-03>>url:https://www.eclipse.org/downloads/packages/release/2020-03||shape="rect"]], but may also be compatible with other versions of Eclipse.
--* See the [[KIELER Downloads>>doc:KIELER.Home.Overview.Downloads.WebHome]] site for download details.
++* See the [[KIELER Downloads>>doc:Kieler.Overview.Downloads.WebHome]] site for download details.
  * KIELER Pragmatics requires an installed Java Runtime Environment >= version 1.8.
  * 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, which must be downloaded and installed separately. You may want to do so.