[Termination tools] announcement termination competition

[Johannes Waldmann]

> * For all participating tools the executable should be freely available.

my proposal actually was more specific:

"the executable that is used in the contest
should be made available by the contest organizers,
on the contest web page."
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------