Intuition

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

1 files changed, 1 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index 0315275b1e..d19cf2b095 100644
--- a/CHANGES
+++ b/CHANGES
@@ -41,7 +41,7 @@ Incompatibilities
 
 - Ring: exceptional incompatibilities
      (1 above 650 in submitted user contribs, leading to a simplification)
-- Intuition: ??
+- Intuition: does not unfold any definition except "<->" and "~".
 
 
 Changes from V7.1 to V7.2