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 [2018-01-15 17:30] mh [Available Packages] |
tools:cpm [2018-05-14 11:12] mh [Available Packages] |
||
|---|---|---|---|
| Line 23: | Line 23: | ||
| 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/ | 70 packages available]] | ||
| - | (including more than 400 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]] | ||
| with more detailed information (e.g., API documentation). | with more detailed information (e.g., API documentation). | ||
