diff options
-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. |