Oublis

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1192 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 5 insertions, 1 deletions

diff --git a/ANNONCE b/ANNONCE
index 05c82c789..4482ee275 100644
--- a/ANNONCE
+++ b/ANNONCE
@@ -23,8 +23,12 @@ major version number 7 though the differences are small for end-users
 continue to change significantly in the next months and we recommend
 tactic developers to take contact with us for adapting their code.
 
+  Coq V7.0beta is a minimal version. User contributions and full
+documentation are not updated. No binary package is provided for
+Windows or MacOS.
+
   Coq V7.0beta is available as a source package from http://coq.inria.fr
-and ftp://ftp.inria.fr/INRIA/coq/V7
+and ftp://ftp.inria.fr/INRIA/coq/V7. 
 
   Please refer to the accompanying document Changes.dvi for a full
 list of changes including sources of incompatibilities (very few).