From 2af210aeab374b6fcd55db2a155d897a17face0b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 27 Jan 2015 09:27:09 +0000
Subject: Fixed a bug in script navigation. Updated CHANGE

---
 CHANGES | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'CHANGES')

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:
 
-- 
cgit v1.2.3