Suggestions
From Termination-Portal.org
Revision as of 11:36, 30 December 2009 by J.waldmann (talk | contribs)
Suggestions to improve this web site
Call for action: http://lists.lri.fr/pipermail/termtools/2009-December/000806.html
TODO:
- create/fill the pages on the "basic" categories String_Rewriting Term_Rewriting
DONE:
- group the various competition categories (listed here: http://www.termination-portal.org/wiki/Termination_Competition) under "Category:categories" (like "Category:Tools") and add an entry to the navigation panel in the lhs.