Changes between Version 12 and Version 13 of ccpn

Timestamp:

02/02/19 23:58:54 (6 years ago)

Author:

9simon

Comment:

--

ccpn

@@ -19 +19 @@
 == Installation ==
 
-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).
+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 ===
@@ -27 +27 @@
 === CCPN Simulator ===
 
-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.
+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 the CCPN simulator and all its dependencies run: