diff options
| author |  Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-04 12:22:43 +0000 |
|---|---|---|
| committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-04 12:22:43 +0000 |
| commit | 1c0b0d32f95d7555943ab86a2de6666e39e84c13 (patch) | |
| tree | 873351c01f6d74be8753d5f24b834664e2231fab /CHANGES | |
| parent | 67f4332c9e802a0d272ac0670515d98d16cfebb4 (diff) | |
* 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 ":=".
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |