From e607a6c08a011f66716969215ddb0e7776e86c60 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 16 Mar 2004 17:37:21 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5509 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL.win | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.win b/INSTALL.win
index b6613a222..f2cddb8a0 100644
--- a/INSTALL.win
+++ b/INSTALL.win
@@ -1,5 +1,5 @@
 *****************************************************************
-* INSTALLATION PROCEDURE FOR THE COQ V7 SYSTEM UNDER WINDOWS OS *
+* INSTALLATION PROCEDURE FOR THE COQ V8 SYSTEM UNDER WINDOWS OS *
 *****************************************************************
 
     The binary distribution consists in a .zip archive file. This .zip contains
-- 
cgit v1.2.3