Coq 8.2pl1 is out !
Submitted by notin on 4. July 2009 - 3:47.
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.