Coq 8.3pl3 is out
Submitted by herbelin on 27 Dec 2011 10:30 GMT
Version 8.3pl3 of Coq fixes several bugs of version 8.3pl2. At the same time, new patch-level releases of 8.1 and 8.2 have been released to fix critical bugs related to sort-polymorphism of inductive types.
For 8.3pl3, see the CHANGES file for a selected list of changes since 8.3pl2.
Syndicate