Home

Bug-fix release for Coq 8.1

Submitted by herbelin on 8 Dec 2008 16:09 GMT

The patch level 4 release of Coq 8.1 is out. See the download page.