Difference between revisions of "Suggestions"

From Termination-Portal.org
Jump to navigationJump to search
(Updated suggestions)
 
Line 1: Line 1:
Suggestions to improve this web site
+
<b> Suggestions to improve this web site </b>
 
 
Call for action:
 
http://lists.lri.fr/pipermail/termtools/2009-December/000806.html
 
  
 
TODO:
 
TODO:
  
* create/fill the pages on the "basic" categories [[String_Rewriting]] [[Term_Rewriting]]
+
* create/fill the pages on the different categories used in the termination competition (listed here: http://www.termination-portal.org/wiki/Termination_Competition).
 
 
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.
 

Latest revision as of 10:44, 19 March 2026

Suggestions to improve this web site

TODO: