Changes between Version 10 and Version 11 of ccpn

Timestamp:

Feb 2, 2019, 11:51:53 PM (7 years ago)

Author:

9simon

Comment:

--

ccpn

@@ -19 +19 @@
 == Installation ==
 
-The CCPN tool set requires two components, Renew with the `CurryCPN` and the `RefNetReachabilityGraph` and the `ccpn` binary.
+The CCPN tool set requires two components, Renew with the `CurryCPN` and the `RefNetReachabilityGraph` plugin, as well as the CCPN simulator (includes the KiCS2 compiler).
 
 === Renew ===
@@ -25 +25 @@
 This package contains a precompiled version of Renew and the required plugins. To generate the startup scripts for Renew run the `installrenew`/`installrenew.bat` script in `bin/unix` or`bin/win`.
 
-=== CCPN ===
+=== CCPN Simulator ===
 
-The `ccpn` binary has to be compiled manually. The setup script requires Git to check out the ccpn tool and its dependencies. The script uses the Haskell tool [https://haskellstack.org Stack) to download and compile all required dependencies. Stack is automatically installed if it is not already available.
+The CCPN simulator has to be compiled manually. The setup script requires Git to check out the ccpn tool and its dependencies. The script uses the Haskell tool [https://haskellstack.org Stack) to download and compile all required dependencies. Stack is automatically installed if it is not already available.
 
-To compile ccpn and all its dependencies run:
+To compile the CCPN simulator and all its dependencies run:
 
 {{{