From 2d48aeefe9e0c3cd993b74748407c4980e20477c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 15 Jul 2005 07:00:58 +0000
Subject: fold

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

diff --git a/CHANGES b/CHANGES
index fa1a1a8123..8369a25850 100644
--- a/CHANGES
+++ b/CHANGES
@@ -43,7 +43,8 @@ Tactics
   [ foo | | bar ] stands for [ foo | idtac | bar ]. (doc TODO). 
 - "Tactic Notation" extended to allow notations of tacticals (doc TODO).
 - Added "autorewrite with ... in hyp [using ...]" (doc TODO).
-- Added entry constr_may_eval for tactic extensions (new syntax)
+- Added entry constr_may_eval for tactic extensions (new syntax).
+- Fixed a "fold" bug (non critical and possible source of incompatibilities).
 
 Modules
 
-- 
cgit v1.2.3