Jump to content

Suggestions: Difference between revisions

From Termination-Portal.org
J.waldmann (talk | contribs)
No edit summary
J.waldmann (talk | contribs)
No edit summary
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
http://lists.lri.fr/pipermail/termtools/2009-December/000806.html
TODO:
* create/fill the pages on the "basic" categories
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.

Revision as of 11:34, 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

DONE: