diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-05-22 12:29:28 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-05-22 12:29:28 +0000 |
| commit | a2d6769caf3a636b07c49f387d7aa6f205a8422e (patch) | |
| tree | e6816df1d8c4c0fadd6694b1c3e0c59eef3af607 /ANNONCE | |
| parent | aacf4aec2dd3ff6bb8e96dc638ea28dbd5d3f1d4 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2705 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ANNONCE')
| -rw-r--r-- | ANNONCE | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,7 +1,5 @@ The Coq development team is pleased to announce the release of Coq -version 7.3. This release fixes most of version 7.2 known bugs (see -http://coq.inria.fr/bin/coq-bugs for the current status of reported -bugs) and offers the following novelties or improvements. +version 7.3. This release offers the following novelties or improvements: - New option -dump-glob to coqtop to dump globalizations (to be used by the new documentation tool coqdoc; see http://www.lri.fr/~filliatr/coqdoc). @@ -20,6 +18,9 @@ bugs) and offers the following novelties or improvements. Inversion has been improved and Intuition simplified but not in a fully compatible way. + Most known bugs of version 7.2 are fixed (for the current status of +reported bugs, see http://coq.inria.fr/bin/coq-bugs). + Pcoq user interface (http://www-sop.inria.fr/lemme/pcoq) is not ported to V7.3 yet. |