diff options
| author | mohring | 2003-01-17 15:37:13 +0000 |
|---|---|---|
| committer | mohring | 2003-01-17 15:37:13 +0000 |
| commit | dd2dc2fcfc72de4dd0fe2a568405d32f7bf55bd3 (patch) | |
| tree | a2ac04f0a3538a516f546dee63a1c52ff95fa9d3 /ANNONCE | |
| parent | d857560c7c62a03f20524d5d968b83972bac9d64 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3523 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ANNONCE')
| -rw-r--r-- | ANNONCE | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -1,12 +1,11 @@ The Coq development team is pleased to announce the release of Coq version 7.4. -This is not a major release, the main purpose 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. +This is not a major release, the main purpose 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. @@ -21,7 +20,8 @@ by coqdoc). 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 + 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 |