Dernière MAJ

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

1 files changed, 8 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index e69de29bb2..2c51e4f88a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -0,0 +1,8 @@
+English version of changes is available on
+
+  http:coq.inria.fr
+
+and
+
+  ftp://ftp.inria.fr/INRIA/coq/V7.0/Changes.ps
+