Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
implementations:overview [2015-05-07 11:53] bjp [MCC] Updated URL |
implementations:overview [2017-05-31 15:36] mh [PAKCS] Ubuntu package mentioned |
||
|---|---|---|---|
| Line 34: | Line 34: | ||
| a [[ implementations:overview#tastecurry | simple interpreter implemented in Prolog ]], | a [[ implementations:overview#tastecurry | simple interpreter implemented in Prolog ]], | ||
| but these are no longer maintained). | 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:** | **Contact:** | ||
| Line 58: | Line 63: | ||
| [[ http://danae.uni-muenster.de/~lux/pubs/ | here ]]. | [[ http://danae.uni-muenster.de/~lux/pubs/ | here ]]. | ||
| - | **Contact:** [[http://danae.uni-muenster.de/~lux/ | Wolfgang Lux ]] | + | **Contact:** Wolfgang Lux |
| <wlux@uni-muenster.de> | <wlux@uni-muenster.de> | ||
