blob: c7a23cf1d13ff378b17dd2a9cf931b0f24245cbb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
The Coq development team is pleased to announce the release of Coq
version 7.4.
This is not a major release; the main purpose of this version is to offer
novelties (including the module system) required by the Why
(http://why.lri.fr) and Krakatoa (http://www.lri.fr/~marche/krakatoa)
systems. See file CHANGES for a detailed list of changes, novelties,
bug-fixes and incompatibilities.
Coq V7.4 is available in several formats from http://coq.inria.fr/
and ftp://ftp.inria.fr/INRIA/coq/V7.4/
The documentation is available in postscript, pdf and html format.
Notice that you can browse the standard library at
http://coq.inria.fr/library-eng.html (this pages have been generated
by coqdoc).
Please refer to the accompanying document CHANGES or the location
ftp://ftp.inria.fr/INRIA/coq/V7.4/doc/Changes.html for a full list of
changes including sources of incompatibilities.
Users are kindly invited to report bugs at http://coq.inria.fr/bin/coq-bugs
and to mail Coq-Club@pauillac.inria.fr for general questions or remarks.
Note that you can now choose your personal options at
http://pauillac.inria.fr/mailman/listinfo/coq-club and consult the
mails archive at http://pauillac.inria.fr/pipermail/coq-club.
The Coq development team
|
