Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
tools:cpm [2017-02-01 13:47] – mh | tools:cpm [2017-02-01 18:38] – mh | ||
---|---|---|---|
Line 18: | Line 18: | ||
new packages. However, if you have developed an interesting package, | new packages. However, if you have developed an interesting package, | ||
please write to '' | please write to '' | ||
- | it publish | + | it available |
===== Installing the Curry Package Manager ===== | ===== Installing the Curry Package Manager ===== | ||
Line 89: | Line 89: | ||
in this directory. | in this directory. | ||
- | For further information, | + | ===== Manual ===== |
+ | |||
+ | For further information, | ||