[Termtools] Naive comments from an occasional visitor

Claude Marché Claude.Marche at inria.fr
Mon Nov 10 16:08:01 CET 2008



Claude Marché wrote:
> Dear all,
> 
> I'm happy to see the new competition running now! I have a couple of 
> "naive" remarks.
> 
> In previous years, it was possible to get information on the tools by 
> clicking on their name in the first row. With new interface I'm unable 
> to get this info: who are the authors of the new tools ? Where is it 
> developed? is there a web page ?

Additionally: what is the difference between Aprove-a3pat, aprove-cert, 
Aprove-color ? This info should be given to occasional visitors.

-- 
Claude Marché                          | tel: +33 1 72 92 59 69
INRIA Saclay - Île-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Université                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - Bâtiment N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |








More information about the Termtools mailing list