Fixed a bug in script navigation. Updated CHANGE

1 files changed, 13 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 8ac72cf9..a99ca5cc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -36,6 +36,19 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 *** smie indentation is now the only choice.
     Old code removed. will work only if emacs >= 23.3.
 
+*** indentation of match with cases:
+    by default the indentation is like this now:
+    match n with
+      O => ...
+    | S n => ...
+    end
+    do this: (setq coq-match-indent 4) to get back the
+    previous indetation style:
+    match n with
+        O => ...
+      | S n => ...
+    end    
+
 *** indentation now supports { at end of line:
     example: