From ba1187827393aa651b2814d513749b43d0bcc772 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 6 Jan 2016 17:32:20 +0100 Subject: updating CHANGES --- CHANGES | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index abd0caee..325688f7 100644 --- a/CHANGES +++ b/CHANGES @@ -65,6 +65,16 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. | S n => ... end +*** indentation of ";" tactical: + by default the indentation is like this: + tac1; + tac2; + tac3. + do this: (setq coq-indent-semicolon-tactical 0) to have this: + tac1; + tac2; + tac3. + *** indentation now supports { at end of line: example: -- cgit v1.2.3