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 samuel.mimram@ens-lyon.fr
Attachment:
pgp5_fEiHYUmm.pgp
Description: PGP signature