Difference between revisions of "Suggestions"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with 'Suggestions to improve http://www.termination-portal.org/ * group the various competition categories (listed here: http://www.termination-portal.org/wiki/Termination_Competition…')
 
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
Suggestions to improve http://www.termination-portal.org/
+
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.
 
* 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.

Latest revision as of 11:36, 30 December 2009

Suggestions to improve this web site

Call for action: http://lists.lri.fr/pipermail/termtools/2009-December/000806.html

TODO:

DONE: