Differences

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

--- navigation [2008-05-15 14:49] – jac
+++ navigation [2008-05-15 14:50] – jac
@@ Line 2: / Line 2: @@
 === Implementations ===
-  * [[implementations:pakcs | PAKCS]]
+  * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]
-  * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS]]
+  * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS ]]
-  * [[http://danae.uni-muenster.de/~lux/curry | MCC]]
+  * [[http://danae.uni-muenster.de/~lux/curry | MCC ]]
 === Documentation ===

/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-04-15 18:17 by mh

Back to top