From 09ee7250a06c8fe23b8a7ab093f683e1d336bd48 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 9 Sep 2010 13:04:59 +0000
Subject: filled CHANGES a bit more precisely.

---
 CHANGES | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index bceeca3d..5b35b7ed 100644
--- a/CHANGES
+++ b/CHANGES
@@ -98,7 +98,10 @@
     Coq/Store goal.
 
 *** bug fixes
-    (Three panes mode, indentation).
+    - Three panes mode: "window would be too small" error fixed.
+    - Indentation: several error fixed. If you want to indent tactics
+    inside "Instance" or "Add Parametric Relation" etc, please put
+    "Proof." before the tactics.
 
 ** Notable internal changes
 
-- 
cgit v1.2.3