Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
tools:cpm [2017-10-21 11:35] mhtools:cpm [2017-11-08 13:37] – [Available Packages] mh
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]]
Line 75: Line 75:
 Therefore, to initialize it and use other packages, you need Therefore, to initialize it and use other packages, you need
 a package description file in some project directory. a package description file in some project directory.
-All this can be created by the command ''cpm new'':+All this can be created by the command ''cypm new'':
  
     > cypm new myproject     > cypm new myproject
/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