Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
tools:cpm [2018-11-27 10:12] mh |
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/ | 90 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]] |