diff options
| author | Stefan Monnier | 2010-11-15 19:10:38 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2010-11-15 19:10:38 +0000 |
| commit | 3ce35a3d18441031614f78b8333d84e05d8d477c (patch) | |
| tree | 1d53a8ae661808ec11e5196b7e668794f15e8724 /CHANGES | |
| parent | 04195f8f15c22cd8be7a471b9a7724deee687098 (diff) | |
Summary: New indentation code using SMIE
* coq/coq.el (coq-build-prog-args): Avoid meaningless \- escape sequence.
(coq-use-smie): New custom var.
(coq-smie-grammar): New var.
(coq-smie-rules): New function.
(coq-guess-or-ask-for-string): Use use-region-p.
(coq-mode-config): Use smie-setup if available.
* lib/proof-compat.el (use-region-p): Provide fallback definition.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -13,6 +13,11 @@ ** Coq changes +*** A new indentation algorithm, using SMIE. +This is used by default if SMIE is available (Emacs >= 23.3), but is +controlled by the variable `coq-use-smie'. It also provides improved +navigation facilities for things like C-M-t, C-M-f and C-M-b. + *** Fixes for Coq 8.3 |