diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-13 13:54:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-13 13:54:00 +0000 |
| commit | ed8873cdabc7d0348dbb1db8b71a06c75df3998b (patch) | |
| tree | 580a7d26bfd3593bd1d9fc4924e094c1a901e64e /coq | |
| parent | 948b8bd7a59b7c35552cb0f4a5b95ee8574f5686 (diff) | |
Call proof-goals-config-done properly.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -125,7 +125,7 @@ (eval-and-compile (define-derived-mode coq-pbp-mode pbp-mode - "pbp" nil + "CoqGoals" nil (coq-pbp-mode-config))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -524,10 +524,9 @@ (defun coq-pbp-mode-config () (setq pbp-change-goal "Show %s.") (setq pbp-error-regexp coq-error-regexp) - (coq-init-syntax-table) (setq font-lock-keywords coq-font-lock-keywords-1) - (proof-font-lock-minor-mode)) + (proof-goals-config-done)) (defun coq-response-config () (coq-init-syntax-table) |