From 835cc6299c73e75454fbab2f03a3207c86b323de Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 5 Mar 2015 17:32:22 +0000 Subject: Customization variables for modules, section and proof indentation. --- CHANGES | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index e73fb502..b8fb5e5f 100644 --- a/CHANGES +++ b/CHANGES @@ -36,6 +36,14 @@ 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 off modules, sections and proofs are customizable + + (setq coq-indent-modulestart X) will set indentation width for + modules and sections to X characters + + (setq coq-indent-proofstart X) will set indentation width for + modules and sections to X characters + *** indentation of match with cases: by default the indentation is like this now: match n with -- cgit v1.2.3