Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
navigation [2010-03-29 13:31] mhnavigation [2010-09-09 13:28] mh
Line 24: Line 24:
   * [[tools:icode | iCODE ]]   * [[tools:icode | iCODE ]]
   * [[tools:easycheck | EasyCheck ]]   * [[tools:easycheck | EasyCheck ]]
 +  * [[http://www.informatik.uni-kiel.de/~pakcs/spicey | Spicey ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/dsdcurry | DSDCurry ]]   * [[http://www.informatik.uni-kiel.de/~pakcs/dsdcurry | DSDCurry ]]
  
/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-04-15 18:17 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