From 2c756ed49e91bc1f4bd575f1cf63f1d9d4776c95 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 20 Jan 2003 00:25:58 +0000
Subject: MAJ

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

diff --git a/CHANGES b/CHANGES
index b6af48c608..aa4f348273 100644
--- a/CHANGES
+++ b/CHANGES
@@ -100,6 +100,7 @@ Tactics
   Intro naming strategy (exceptional source of incompatibilities)
 - LinearIntuition (* no documentation *)
 - Unfold expects a correct evaluable argument
+- Clear expects existing hypotheses
 
 Miscellaneous
 
-- 
cgit v1.2.3