From 8bd75adea05a5b4d666607853bff4e7ead69ae02 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 24 Sep 2001 14:18:27 +0000
Subject: Orthographe ?

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

diff --git a/ANNONCE b/ANNONCE
index 0f336dac40..d581d0447f 100644
--- a/ANNONCE
+++ b/ANNONCE
@@ -2,7 +2,7 @@
 This release is a major update on version 6.3.1 and a bug-fixes update
 on version 7.0.
 
-  The main features of Coq versions 7.0 and 7.1 on version 6.3.1 are
+  The main features of Coq versions 7.0 and 7.1 over version 6.3.1 are
 
   - a primitive let-in construct
   - qualified names
@@ -11,7 +11,7 @@ on version 7.0.
   - improved search facilities
   - export of theories to XML for publishing and rendering purposes
   - a deep restructuration of the code (safer, simpler and more efficient)
-  - 
+
 
   Compared to version 7.0, the new version provides with
 
-- 
cgit v1.2.3