Differences

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

--- navigation [2014-02-07 15:13] – mh
+++ navigation [2014-02-07 15:15] – mh
@@ Line 15: / Line 15: @@
   * [[http://www-ps.informatik.uni-kiel.de/kics2| KiCS2 ]]
   * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS ]]
+=== Libraries ===
+  * [[http://www.informatik.uni-kiel.de/~pakcs/lib/ | PAKCS Libraries ]]
+  * [[http://www-ps.informatik.uni-kiel.de/kics2/currygle/ | Curr(y)gle API Search ]]
 === Tools ===
@@ Line 20: / Line 25: @@
   * [[tools:cass | CASS ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/COOSy | COOSy ]]
-  * [[http://www-ps.informatik.uni-kiel.de/kics2/currygle/ | Curr(y)gle API Search ]]
   * [[tools:currybrowser | CurryBrowser ]]
   * [[tools:currydoc | CurryDoc ]]

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

Back to top