[Termtools] strange proof

[Johannes Waldmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Carsten Otto wrote:
>
> What about the proofs from Polytool in the LP category? I am
> missing quite a bit of information there.
>
(I did not pay much attention outside the FP and SRS categories,
and Polytool's  green/yellow pattern looked reasonable - but:)

your observation certainly is "the understatement of the year".

I think the polytool authors should explain the situation.

Best regards, Johannes.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGZH8G3ZnXZuOVyMIRAi/fAJ4xs4piFjB8soo1/YyJWzkK3dX6aQCferHF
0jMVWFhtBNYuX5ZH2HCVa2g=
=+yAf
-----END PGP SIGNATURE-----