Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
tools:cpm [2017-10-21 11:37] mh |
tools:cpm [2017-11-08 13:37] mh [Available Packages] |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| ===== Available Packages ===== | ===== Available Packages ===== | ||
| - | There are more than [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | sixty packages available]] | + | There are more than [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | 70 packages available]] |
| (including more than 400 modules). | (including more than 400 modules). | ||
| There is a [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]] | There is a [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]] | ||
