Differences

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

--- navigation [2024-10-14 18:05] – mh
+++ navigation [2024-10-14 18:07] (current) – mh
@@ Line 27: / Line 27: @@
   * [[tools:editors | Editors ]]
   * [[http://www.curry-lang.org/tools/cass | CASS ]]
-  * [[http://www.informatik.uni-kiel.de/~pakcs/COOSy | COOSy ]]
+  * [[https://cpm.curry-lang.org/pkgs/coosy.html | COOSy ]]
   * [[http://www.curry-lang.org/tools/cpm | CPM ]]
   * [[https://cpm.curry-lang.org/pkgs/currybrowse.html | CurryBrowser ]]

/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-10-14 18:07 by mh

Back to top