Differences

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

--- tools:cpm [2017-02-06 14:25] – [Quick Start] mh
+++ tools:cpm [2017-02-06 14:29] – [Manual] mh
@@ Line 92: / Line 92: @@
 in this directory.
-===== Manual =====
+===== Manual and Further Documentation =====
 For further information, look into the {{tools:cpm:manual.pdf | manual of CPM}}.
+A detailed description about CPM and its implementation can be found
+in the following thesis:
+[[https://www.informatik.uni-kiel.de/~mh/lehre/abschlussarbeiten/msc/Oberschweiber.pdf |  A Package Manager for Curry (Jonas Oberschweiber, CAU Kiel, September 2016)]]
 ===== Uploading and Publishing Packages =====

/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh

Back to top