From edd682e03ae93dda78c49d781b32a7f03a46a4c2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 27 Sep 2001 15:31:07 +0000
Subject: Ultime Ultime

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2084 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ANNONCE | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/ANNONCE b/ANNONCE
index 5ee808dd18..fbefa67fbc 100644
--- a/ANNONCE
+++ b/ANNONCE
@@ -11,6 +11,7 @@ on version 7.0.
   - new rewriting tactic for types equipped with specific equalities
   - new tactic Field to decide equalities on commutative fields
   - new tactic Fourier to solve linear inequalities on reals numbers
+  - new tactics DiscrR, SplitRmult and SplitAbsolu dedicated to real numbers
   - new tactics for induction/case analysis in "natural" style
   - new extraction algorithm managing the Type level
   - export of theories to XML for publishing and rendering purposes
@@ -42,15 +43,16 @@ following versions
 
   package for sources
   rpm package for sources
-  rpm package for linux
+  rpm packages for linux
   binary package for Sun-Solaris
   binary version for Windows
-  binary version for MacOS X (without specific GUI)
+  binary version for MacOS X (Darwin)
 
   The documentation is available in postscript, pdf and html format.
 
-  Please refer to the accompanying document CHANGES for a full
-list of changes including sources of incompatibilities.
+  Please refer to the accompanying document CHANGES or the location
+ftp://ftp.inria.fr/INRIA/coq/V7.1/doc/Changes.html for a full list of
+changes including sources of incompatibilities.
 
   Users are kindly invited to report bugs to coq-bugs@pauillac.inria.fr
 and to mail Coq-Club@pauillac.inria.fr for general questions or
-- 
cgit v1.2.3