[Termtools] Improve http://www.termination-portal.org/

[Johannes Waldmann]

Dear all,

we have http://www.termination-portal.org/
as the central information resource for termination,
and in particular, tools and competitions.

While the Aachen group provides the site and manages accounts
(thanks, guys), contents comes from all of us,
and in particular, from the participants and hosts of competitions.

Please take a moment to have a look at the site,
starting from the "home" page:
* do you find all the information you need?
  (is it there at all? is it easy to navigate there?)
* does the site give the right impression to outsiders?
  Remember we want to go for publicity next summer.

If you have suggestions to improve the site,
then please make a note here:
http://www.termination-portal.org/wiki/Suggestions
or email to me, or to this list.

If you take part in a competition,
then you should add/update information on your program here:
http://www.termination-portal.org/wiki/Category:Tools
(Costa, Julia, VMTL - where are you?)
http://www.termination-portal.org/wiki/Contribute

To the site maintainers (I'm not sure who's in charge at the moment):
Please 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.

Best regards, Johannes Waldmann

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 260 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20091221/a8815bb6/attachment.pgp