[Termtools] certified - strange proofs

[Claude Marché]

The purpose of "disqualification" is to make clear on the web page
that some YES answers may be wrong. And to warn people that would like
to download the tool and use it may get wrong answer. 

To avoid disqualification, I need to change the result page so that
wrong answers do not appear in green anymore. For that, I need a fix:
please send me new runme/checkme scripts.

- Claude


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