From bbcee39f5bf8eb74445d4abb78a7aac2ad048cb5 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 5 Mar 2015 17:35:28 +0000 Subject: Fixed stuff in CHANGES. --- CHANGES | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index b8fb5e5f..c173e6d2 100644 --- a/CHANGES +++ b/CHANGES @@ -32,11 +32,13 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. Scripting supports bullets of any length. Indentation supports only bullets of length <= 4 (like ----). Longer may be supported if needed. + For indentation to work well, please use this precedence: + - + * -- ++ ** --- +++ *** ... *** 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 +*** indentation of modules, sections and proofs are customizable (setq coq-indent-modulestart X) will set indentation width for modules and sections to X characters -- cgit v1.2.3