From acde7f9b0d167c882c5aac752754448a0d788ab2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 14 Mar 2001 21:27:12 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1467 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index dcd56524c3..e5001aaf47 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,7 +17,9 @@ Diff
 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
-- 
cgit v1.2.3