[Termtools] Results for certified categories.

[Johannes Waldmann]

The certification problems are known. ( IMHO they follow from
http://dev.aspsimon.org/bugzilla/show_bug.cgi?id=45#c0 )

This email thread contains some detail:
http://lists.lri.fr/pipermail/termtools/2008-November/000647.html

See also this here:
http://lists.lri.fr/pipermail/termtools/2008-November/000673.html


The result was that Cime wanted to be withdrawn,
but apparently nothing happened.

By the way, Matchbox wanted to resign from TRS-certified as well
(since it boldly ignores fresh variables occuring in RHSs)


The steering committee did vote on this (20-Nov-2008):

disqualify matchbox from TRS-certified:
3 Yes, 1 Against;

allow withdrawal (by author while the category is running):
4 Yes, 1 Against;

and the second item was intended to apply to Cime for SRS-certified
(if I recall correctly).


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/20090330/269e3542/attachment.pgp