Hello, I wanted to know if someone was working on the 8.0 release of COQ. I don't think I would be able to do it but I do use COQ 8.0 and I think it would be a good thing of it was in sarge (I hope it's not too late) since it's a major update (the syntax was revised, etc).
Thanks, Samuel. -- Samuel Mimram [EMAIL PROTECTED]
pgp00000.pgp
Description: PGP signature