Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
tools:cpm [2017-04-25 15:21] – [Overview] mhtools:cpm [2017-04-25 15:22] – [Overview] mh
Line 21: Line 21:
  
 The [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm.cgi | currently available packages]] The [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm.cgi | currently available packages]]
-can be immediately downloaded or installed when CPM is installed (see below).+can immediately be downloaded or installed when CPM is installed (see below).
 Using CPM, one can also obtain more detailed information about Using CPM, one can also obtain more detailed information about
 individual packages. individual packages.
/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0