From 16c890ce19773c090193f6a4ed0f77342b471dde Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Tue, 23 Jun 2015 11:58:05 +0000 Subject: Update to CHANGE. --- CHANGES | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 779f334a..589a1b08 100644 --- a/CHANGES +++ b/CHANGES @@ -72,10 +72,16 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. Lemma foo: forall x y, x = 0 -> ... . + instead of: + Lemma foo: forall x y, x = 0 -> ... . - do this: (setq coq-indent-box-style t) to bring the box style back. + (do this: (setq coq-indent-box-style t) to bring the box style back). + + Use (setq coq-smie-after-bolp-indentation 0) for a smaller indentation: + 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: -- cgit v1.2.3