Changes between Version 14 and Version 15 of ccpn

Timestamp:

02/03/19 00:10:11 (6 years ago)

Author:

9simon

Comment:

--

ccpn

@@ -23 +23 @@
 === Renew ===
 
-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`.
+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 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 clone the CCPN repository and its dependencies. The script uses the Haskell tool [https://haskellstack.org Stack] to download and compile all required Haskell libraries. Stack is automatically installed, if it is not already available.
 
 To compile the CCPN simulator and all its dependencies run:
@@ -46 +46 @@
  - Michael Simon and Daniel Moldt. About the development of a Curry-Coloured Petri net simulator. In Robert Lorenz and Johannes Metzger, editors, Algorithms and Tools for Petri Nets, Proceedings of the 21th Workshop AWPN 2018, Augsburg, Germany, number 2018-02 in Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg, pages 53–54, 2018.
 
- - Michael Simon and Daniel Moldt. Tools for Curry-Coloured Petri Nets. Internal Report 10 pages (Please contact the authors)
+ - Michael Simon and Daniel Moldt. Tools for Curry-Coloured Petri Nets. Internal Report 10 pages. (Please contact the authors.)