The Coq mailing list

[Pierre Letouzey <Pierre.Letouzey AT pps.jussieu.fr>]

Dear Coq-Club members,

We're glad to announce the availability of a first _beta_ version of
Coq 8.3, whose source files can be found on the Coq website [1].
This release intends to give the curious and impatient users of Coq
a flavour of what Coq 8.3 will be, and to encourage early testing and
feedback. To see what is new in this version of Coq, please refer to
the CHANGES [2] file.

Please be aware that this release should be considered as unstable.
In particular, we're currently aware of several issues (see bug
tracker [3]) that we plan to tackle before the stable release of Coq
8.3. For instance, the lightweight .vo verifier program 'coqchk' is
known to be broken at the moment.

Nevertheless, this 8.3-beta0 is already quite usable. In particular,
it supports the full content of the User's Contributions repository.
By the way, this repository [4] and its history can give many hints
about adaptations needed when porting a development from 8.2 to 8.3.

Thanks in advance to all brave testers :-)

Pierre Letouzey, for the Coq development team


[1] http://coq.inria.fr/coq-83-beta-version
[2] http://coq.inria.fr/distrib/V8.3-beta0/CHANGES
[3] http://coq.inria.fr/bugs/
[4] 
http://gforge.inria.fr/plugins/scmsvn/viewcvs.php/branches/v8.3/?root=coq-contribs