Cleaning CHANGES.

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