From 1c0b0d32f95d7555943ab86a2de6666e39e84c13 Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Wed, 4 Jun 2014 12:22:43 +0000 Subject: * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition. (coq-smie-backward-token): Don't burp at EOB. (coq-smie-rules): Indent top-level ":" like ":=". --- CHANGES | 2 ++ 1 file changed, 2 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 7a1d34b1..bac19211 100644 --- a/CHANGES +++ b/CHANGES @@ -51,6 +51,8 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. Should work for induction and destruct for now. Toggle this option with Coq/Settings/Auto insert As. +*** Support for prettify-symbols-mode. + * Changes of Proof General 4.2 from Proof General 4.1 ** Generic/misc changes -- cgit v1.2.3