diff options
author | 2003-02-03 08:57:05 +0000 | |
---|---|---|
committer | 2003-02-03 08:57:05 +0000 | |
commit | 47f5a984f923aa2e1e95ab16d6962d19b2bb5c52 (patch) | |
tree | b7d78e82bf23c45c5c538e7040270a16f03d28ad /README.win | |
parent | 777a06c8b165f245a064e188c4da3739bd555cc7 (diff) |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3653 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README.win')
-rw-r--r-- | README.win | 4 |
1 files 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. |