Coq 8.2pl1 is out !
Submitted by coq-www on 4 Jul 2009 03:47 GMT
A new patch level for Coq 8.2 is now available. You can get it from the download page.
A new patch level for Coq 8.2 is now available. You can get it from the download page.
Syndicate