Differences

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

--- navigation [2015-03-03 14:58] – mh
+++ navigation [2015-05-07 11:52] – bjp
@@ Line 12: / Line 12: @@
   * [[implementations:overview | Overview ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]
-  * [[http://danae.uni-muenster.de/~lux/curry | MCC ]]
+  * [[http://danae.uni-muenster.de/curry/ | MCC ]]
   * [[http://www-ps.informatik.uni-kiel.de/kics2| KiCS2 ]]
   * [[implementations:kics | KiCS ]]

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

Back to top