diff options
| -rw-r--r-- | coq/coq-indent.el | 1 | ||||
| -rw-r--r-- | coq/coq.el | 4 |
2 files changed, 4 insertions, 1 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index 3f9a5979..b044937a 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -733,7 +733,6 @@ argument must be t if inside the {}s of a record, nil otherwise." (forward-line 1)) (goto-char fin))) -(set (make-local-variable 'indent-region-function) 'coq-indent-region) (provide 'coq-indent) @@ -858,6 +858,10 @@ This is specific to `coq-mode'." proof-indent-close-regexp coq-indent-close-regexp ) + (make-local-variable 'indent-region-function) + (setq indent-region-function 'coq-indent-region) + + ;; span menu (setq proof-script-span-context-menu-extensions 'coq-create-span-menu) |