[Termination tools] announcement termination competition

[Johannes Waldmann]

Thanks for running the competition again.

I have one (minor) suggestion for tool authors:
if you have a CGI or applet interface for your tool,
show us "where the tool lives".

This is actually Aart's idea, see:
http://cl2-informatik.uibk.ac.at/ttt/cgi-bin/index.cgi
and I recently copied it:
http://141.57.11.163/matchbox/term.html
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------