Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| tools:cpm [2017-05-04 17:41] – [Installing the Curry Package Manager] mh | tools:cpm [2017-05-04 17:42] – [Installing the Curry Package Manager] mh | ||
|---|---|---|---|
| Line 29: | Line 29: | ||
| CPM is already part of recent distributions of the Curry systems | CPM is already part of recent distributions of the Curry systems | ||
| - | [[http:// | + | [[http:// |
| [[http:// | [[http:// | ||
| If you have some older version of PAKCS or KiCS2, you can also | If you have some older version of PAKCS or KiCS2, you can also | ||
