From d35b46774617b44776730adf9d8ea4807a75e8a2 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Tue, 19 Jan 2016 15:50:55 +0100
Subject: Cleaning CHANGES.

---
 CHANGES | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/CHANGES b/CHANGES
index 325688f7..384cb1df 100644
--- a/CHANGES
+++ b/CHANGES
@@ -75,14 +75,6 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     tac2;
     tac3.
 
-*** indentation now supports { at end of line:
-    example:
-
-    assert (h:n = k). {
-      apply foo.
-      reflexivity. }
-    apply h.
-
 *** Default indentation of forall and exists is not boxed anymore
     For instance, this is now indented like this:
 
@@ -99,20 +91,6 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
        Lemma foo: forall x y,
          x = 0 -> ... .
 
-*** Default indentation cases of "match with" are now indented by 2 instead of 4.
-     "|" is indented by zero:
-
-        match n with                   
-          0 => ...	     
-        | S n => ...                   
-        end                            
-     instead of: 
-        match n with  
-            0 => ...       
-          | S n => ...
-        end
-     do this: (setq coq-match-indent 4) to bring old behaviour back.
-
 *** Support for bullets, braces and Grab Existential Variables for Prooftree.
 
 *** Support for _Coqproject files
-- 
cgit v1.2.3