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-02-09 15:37] – [Installing the Curry Package Manager] mh | tools:cpm [2017-02-09 15:37] – [Installing the Curry Package Manager] mh | ||
|---|---|---|---|
| Line 24: | Line 24: | ||
| The installation assumes that one of the Curry systems PAKCS or KiCS2 | The installation assumes that one of the Curry systems PAKCS or KiCS2 | ||
| - | in installed and the executable'' | + | is installed and the executable '' |
| Furthermore, | Furthermore, | ||
| set to the root directory of your Curry system (or you can | set to the root directory of your Curry system (or you can | ||
