Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
navigation [2017-07-17 14:17]
mh
navigation [2017-07-17 14:50]
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 ]]
-  * [[tools:cpm | Packages ]] ([[http://​www.informatik.uni-kiel.de/​~mh/​curry/​cpm | list ]])+  * [[http://​www.informatik.uni-kiel.de/​~mh/​curry/​cpm | Packages ​]]
  
 === Tools === === Tools ===
/srv/dokuwiki/currywiki/data/pages/navigation.txt ยท Last modified: 2020-10-16 11:20 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