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:52] – [Installing the Curry Package Manager] mh | tools:cpm [2017-02-09 15:52] – [Installing the Curry Package Manager] mh | ||
---|---|---|---|
Line 27: | Line 27: | ||
(if '' | (if '' | ||
of your Curry system by modifying the definition of '' | of your Curry system by modifying the definition of '' | ||
- | in the '' | + | in the '' |
Then perform the following steps to install CPM: | Then perform the following steps to install CPM: | ||