diff options
Diffstat (limited to 'coq/coq-system.el')
| -rw-r--r-- | coq/coq-system.el | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 01b9b1d5..804831da 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -652,27 +652,27 @@ Does nothing if `coq-use-project-file' is nil." ;; need to make this hook local. ;; hack-local-variables-hook seems to hack local and dir local vars. (add-hook 'coq-mode-hook - '(lambda () - (add-hook 'hack-local-variables-hook - 'coq-load-project-file - nil t))) + (lambda () + (add-hook 'hack-local-variables-hook + 'coq-load-project-file + nil t))) ; detecting coqtop args should happen at the last moment before ; calling the process. In particular it should ahppen after that ; proof-prog-name-ask is performed, this hook is at the right place. (add-hook 'proof-shell-before-process-hook - '(lambda () - ;; It seems coq-prog-name and proof-prog-name are not correctly linked - ;; so let us make sure they are the same before computing options - (setq coq-prog-name proof-prog-name) - (setq coq-prog-args (coq-prog-args)))) + (lambda () + ;; It seems coq-prog-name and proof-prog-name are not correctly linked + ;; so let us make sure they are the same before computing options + (setq coq-prog-name proof-prog-name) + (setq coq-prog-args (coq-prog-args)))) ;; smie's parenthesis blinking is too slow, let us have the default one back (add-hook 'coq-mode-hook - '(lambda () - (when (and (fboundp 'show-paren--default) - (boundp 'show-paren-data-function)) - (setq show-paren-data-function 'show-paren--default)))) + (lambda () + (when (and (fboundp 'show-paren--default) + (boundp 'show-paren-data-function)) + (setq show-paren-data-function 'show-paren--default)))) |