Jump to content

Suggestions: Difference between revisions

From Termination-Portal.org
J.waldmann (talk | contribs)
No edit summary
JCKassing (talk | contribs)
Updated suggestions
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
Suggestions to improve http://www.termination-portal.org/
<b> Suggestions to improve this web site </b>


http://lists.lri.fr/pipermail/termtools/2009-December/000806.html
TODO:


* 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.
* create/fill the pages on the different categories used in the termination competition (listed here: http://www.termination-portal.org/wiki/Termination_Competition).

Latest revision as of 10:44, 19 March 2026

Suggestions to improve this web site

TODO: