Suggestions: Difference between revisions
J.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) No edit summary |
||
| Line 1: | Line 1: | ||
Suggestions to improve http://www.termination-portal.org/ | Suggestions to improve http://www.termination-portal.org/ | ||
http://lists.lri.fr/pipermail/termtools/2009-December/000806.html | |||
* 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 09:26, 21 December 2009
Suggestions to improve http://www.termination-portal.org/
http://lists.lri.fr/pipermail/termtools/2009-December/000806.html
- 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.