Changes between Version 25 and Version 26 of ccpn

Timestamp:

Feb 3, 2019, 5:41:26 PM (6 years ago)

Author:

haustermann

Comment:

--

ccpn

@@ -14 +14 @@
 == Prerequisites ==
 
+Installation for the CCPN tools is supported for Linux and macOS and requiers:
+
 - Java Runtime Environment in Version 9 or later
 - [https://git-scm.com/downloads Git]
-- Bourne shell (`sh`, the standard Unix shell, can be installed as [https://stackoverflow.com/a/37478310 part of Git for Windows])
 
 == Installation ==
@@ -24 +25 @@
 === Renew ===
 
-This package contains a precompiled version of Renew and the required plugins. To generate the startup scripts for Renew run the `bin/unix/installrenew` or the `bin/win/installrenew.bat` script.
+This package contains a precompiled version of Renew and the required plugins. To generate the startup scripts for Renew run the `bin/unix/installrenew` script.
 
 === CCPN Simulator ===
@@ -40 +41 @@
 == Usage ==
 
-To start Renew with the CurryCPN plugin use the generated `loadrenew` script in `bin/unix` or `bin/win`.
+To start Renew with the CurryCPN plugin use the generated `loadrenew` script in `bin/unix`.
 
 You can find the example CCPN from the ''Tools for Curry-Coloured Petri Nets'' paper in `examples/word.rnw`.
@@ -54 +55 @@
 In the generated graph, a graphical representation of a marking is opened by double-clicking it.
 
+The `doc` directory contains the general Renew manual for version 2.5. This package contains version 2.6dev, so there are some small differences. Most noticeable is the requirement for Java 9 for this version of Renew.
+
 === As a Haskell Library ===