Differences

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

Link to this comparison view

Both sides previous revision Previous revision
navigation [Y-m-d H:i]
mh
navigation [Y-m-d H:i] (current)
mh
Line 22: Line 22:
   * [[http://​www-ps.informatik.uni-kiel.de/​kics2/​lib/​ | KiCS2 Libraries ]]   * [[http://​www-ps.informatik.uni-kiel.de/​kics2/​lib/​ | KiCS2 Libraries ]]
   * [[http://​www-ps.informatik.uni-kiel.de/​kics2/​currygle/​ | Curr(y)gle API Search ]]   * [[http://​www-ps.informatik.uni-kiel.de/​kics2/​currygle/​ | Curr(y)gle API Search ]]
-  * [[http://​www.informatik.uni-kiel.de/​~mh/curry/cpm | Packages ]]+  * [[http://​www.informatik.uni-kiel.de/​~curry/​cpm | Packages ]]
  
 === Tools === === Tools ===
/srv/dokuwiki/currywiki/data/pages/navigation.txt ยท Last modified: Y-m-d H:i by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0