1 files changed, 4 insertions, 1 deletions
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