From 777a06c8b165f245a064e188c4da3739bd555cc7 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 3 Feb 2003 08:33:29 +0000
Subject: release 7.4; changement magic number

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

(limited to 'ANNONCE')

diff --git a/ANNONCE b/ANNONCE
index df11742c64..c7a23cf1d1 100644
--- a/ANNONCE
+++ b/ANNONCE
@@ -1,14 +1,14 @@
-  The Coq development team is pleased to announce the release of Coq
+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
+  This is not a major release; the main purpose of 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.
+  Coq V7.4 is available in several formats from http://coq.inria.fr/
+and ftp://ftp.inria.fr/INRIA/coq/V7.4/
 
   The documentation is available in postscript, pdf and html format.
 
@@ -20,8 +20,7 @@ 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 
-- 
cgit v1.2.3