[Termtools] [color] unification

[Johannes Waldmann]

Frederic,

it's great that you are constantly improving Color.

Still I think you're being too pessimistic about what Color already
can do. With the Rainbow+Color CVS versions of 15-October
(currently installed on the competition server),
Matchbox for TRS-certified gets nearly 400 proofs (for 975 problems)
(on my machine). That's more than last year's winning score,
and it's mainly due to arctic matrices (Color proofs done by Adam).

Simon - *if* you're installing newer Color/Rainbow checkouts,
please make sure that the present version stays available,
*and* please don't use .coqrc, so that tool authors can choose
what version they want, see
http://dev.aspsimon.org/bugzilla/show_bug.cgi?id=23#c14

Best regards, Johannes.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081031/ccc2eb64/attachment.pgp