[Termination tools] participation to termination competition

[Claude Marche]

Dear all,

Until now, the following tools registered to the competition:

Aprove
CiME
Matchbox
TEPARLA
TORPA
TPA
TTT

I expected to have more participants :

Cariboo
Muterm

authors of the 2 tools above, please send me a mail as soon as
possible if you are willing to participate

- Claude


-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |