Differences

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

--- implementations:overview [2015-05-07 11:53] – [MCC] Updated URL bjp
+++ implementations:overview [2017-05-31 15:36] – [PAKCS] Ubuntu package mentioned mh
@@ Line 34: / Line 34: @@
 a [[ implementations:overview#tastecurry | simple interpreter implemented in Prolog ]],
 but these are no longer maintained).
+PAKCS (release 1.14.2) is also available as an Ubuntu 17.04 package.
+If you run this OS, PAKCS can be installed with the command
+    > sudo apt install pakcs
 **Contact:**
@@ Line 58: / Line 63: @@
 [[ http://danae.uni-muenster.de/~lux/pubs/ | here ]].
-**Contact:** [[http://danae.uni-muenster.de/~lux/ | Wolfgang Lux ]]
+**Contact:** Wolfgang Lux
 <wlux@uni-muenster.de>

/srv/dokuwiki/currywiki/data/pages/implementations/overview.txt · Last modified: 2020-11-30 10:51 by mh

Back to top