Projects



Changes between Version 19 and Version 20 of ccpn


Ignore:
Timestamp:
Feb 3, 2019, 3:44:53 AM (6 years ago)
Author:
9simon
Comment:

Running the application -> Usage

Legend:

Unmodified
Added
Removed
Modified

  • TabularUnified ccpn

    v19 v20  
    3838This may take a while because it bootstraps the KiCS2 compiler.
    3939
    40 == Running the application ==
     40== Usage ==
    4141
    4242To start Renew with the CurryCPN plugin use the generated `loadrenew` script in `bin/unix` or `bin/win`.