diff options
| author | herbelin | 2003-02-06 13:44:14 +0000 |
|---|---|---|
| committer | herbelin | 2003-02-06 13:44:14 +0000 |
| commit | b05d02b28cb972c937e15387af61b4b084c8b9ca (patch) | |
| tree | c98f78f39d4bbf53d07aaff924fd7c89fab17c92 /ANNONCE | |
| parent | e5516768b427aed0c0d35f0430885d34484024ec (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3668 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ANNONCE')
| -rw-r--r-- | ANNONCE | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -1,11 +1,16 @@ 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 + This version provides several novelties, including a new system of +parametric modules and interfaces, and support for 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. +systems. However, this version is still experimental and does not +fully support the functionalities of the previous version 7.3.1 +(especially ast-based grammar extensions are off). + + 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. Coq V7.4 is available in several formats from http://coq.inria.fr/ and ftp://ftp.inria.fr/INRIA/coq/V7.4/ @@ -13,19 +18,14 @@ 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 +http://coq.inria.fr/library-eng.html (these 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 |