MAJ

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

1 files changed, 3 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index dcd56524c3..e5001aaf47 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,7 +17,9 @@ Différences V7.0beta / V7.0
 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
+  globaux de même nom de base
+- Unfold ne peut s'appliquer qu'à des constantes dépliables (en
+  particulier pas à des Syntactic Definition)
 
 ----------------------------------------------------------------------
 English version of changes is available on