From ccf242fd8c4ce869e8cd6d1ecb3e9995e218f0d2 Mon Sep 17 00:00:00 2001
From: courant
Date: Fri, 12 Apr 2002 15:14:40 +0000
Subject: Intuition

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

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
-- 
cgit v1.2.3