The full version of this announcement is available.
We are glad to announce the release of version 5.10.15 of the Coq Proof Assistant for the Calculus of Inductive Constructions. This release includes various changes in the code and libraries, which are described more precisely below. The documentation has also been updated.
Coq V5.10.15 comes in two flavors: the regular Coq, and a new, fully up-to-date and compatible distribution of Ct-Coq (i.e. Coq with a sophisticated graphical user-interface).
The www page is available .
As usual, you might send problems, bug reports, remarks about the installation to coq@pauillac.inria.fr and more general questions about the coq system to the mailing list coq-club@pauillac.inria.fr. Questions specific to the Ct-Coq interface should be addressed to ctcoq-request@sophia.inria.fr.
Enjoy!