Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
tools:cpm [2018-08-30 17:27] mh [Quick Start] |
tools:cpm [2019-01-17 15:26] mh [Available Packages] |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| ===== Available Packages ===== | ===== Available Packages ===== | ||
| - | There are more than [[http://www.informatik.uni-kiel.de/~curry/cpm/ | 70 packages available]] | + | There are more than [[http://www.informatik.uni-kiel.de/~curry/cpm/ | 100 packages available]] |
| (including more than 600 modules). | (including more than 600 modules). | ||
| There is a [[http://www.informatik.uni-kiel.de/~curry/cpm/ | table of all packages]] | There is a [[http://www.informatik.uni-kiel.de/~curry/cpm/ | table of all packages]] | ||
