Coq 8.3pl2 is out

Submitted by herbelin on 25 Apr 2011 17:44 GMT

Version 8.3pl2 of Coq fixes several bugs of version 8.3pl1. In particular, it provides compatibility for compiling Coq from sources with the latest versions of Objective Caml and Camlp5. More information to be found in the CHANGES file.