[Termtools] results TRS-standard / colors

[Johannes Waldmann]

> About the colors [...]

I think the DANGER colour should only be applied with respect
to the termination prover, not the rewrite system that is its input.

Consistency in results will be obtained by copying earlier results data
over to the new data base, and making them available for combined
presentation and queries.

(You need the consistent colours only because you use your eyes,
and probably hands (moving the mouse), to execute such a query -
of course this is inefficient and error-prone and must be automated.)

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/20081110/fcb9abfe/attachment.pgp