MAJ

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

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 34093e18d..e87d10736 100644
--- a/CHANGES
+++ b/CHANGES
@@ -7,6 +7,11 @@ Différences V7.0beta / V7.0
 - Rétablissement des @Definition and co
 - Rétablissement des token extensibles et mélangeant symboles et lettres
 
+Différences oubliées dans la V7.0beta :
+
+- Du fait des noms qualifiés, les variables de buts n'évitent plus les
+globaux de même nom de base
+
 ----------------------------------------------------------------------
 English version of changes is available on