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

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Mon Dec 21 10:23:13 CET 2009

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:
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:
(Costa, Julia, VMTL - where are you?)

To the site maintainers (I'm not sure who's in charge at the moment):
Please group the various competition categories (listed here:
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 

More information about the Termtools mailing list