Differences

This shows you the differences between two versions of the page.

--- tools:cpm [2017-05-04 17:42] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-06-07 12:06] – mh
@@ Line 20: / Line 20: @@
 the same package.
-The [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | currently available packages]]
+===== Available Packages =====
-can immediately be downloaded or installed when CPM is installed (see below).
-Using CPM, one can also obtain more detailed information about
+There are more than [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | fifty packages available]]
-individual packages.
+(including more than 400 modules).
+There is a [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]]
+with more detailed information (e.g., API documentation).
+These packages can immediately be downloaded or installed when CPM is installed (see below).

/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh

Back to top