[Termination tools] announcement termination competition
Johannes Waldmann
waldmann at imn.htwk-leipzig.de
Thu Feb 10 11:39:22 CET 2005
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/ -------
More information about the Termtools
mailing list