Differences

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

--- navigation [2008-05-14 11:58] – mh
+++ navigation [2008-05-14 13:54] – mh
@@ Line 16: / Line 16: @@
   * {{http://www.informatik.uni-kiel.de/~pakcs/COOSy | COOSy }}
   * {{http://www.informatik.uni-kiel.de/~mh/papers/WLPE06.html | CurryBrowser }}
+  * [[tools:currybrowser | CurryBrowser ]]
   * [[tools:currydoc | CurryDoc ]]
   * [[tools:oracle_debugger | B.I.O. Debugger ]]

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

Back to top