From 47f5a984f923aa2e1e95ab16d6962d19b2bb5c52 Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 3 Feb 2003 08:57:05 +0000
Subject: maj

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

diff --git a/README.win b/README.win
index b1054c97d..dba76dfd0 100644
--- a/README.win
+++ b/README.win
@@ -1,5 +1,5 @@
-THE COQ V7 SYSTEM
-=================
+THE COQ V7.4 SYSTEM
+===================
 
     This file contains remarks specific to the windows port of Coq.
 
-- 
cgit v1.2.3