Difference between revisions of "Suggestions"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (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…') |
J.waldmann (talk | contribs) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | Suggestions to improve http:// | + | 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:
- 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.
