From ed8873cdabc7d0348dbb1db8b71a06c75df3998b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 13 Nov 1999 13:54:00 +0000 Subject: Call proof-goals-config-done properly. --- coq/coq.el | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'coq') diff --git a/coq/coq.el b/coq/coq.el index 4608f2cd..4a4ddc0c 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -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) -- cgit v1.2.3