From 6df08b4dfd7b462e3c62eea3bc2efb2b79649949 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Apr 2000 14:07:40 +0000 Subject: pbp-mode -> goals-mode --- generic/proof-easy-config.el | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'generic/proof-easy-config.el') diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el index 067cde0d..d59d4394 100644 --- a/generic/proof-easy-config.el +++ b/generic/proof-easy-config.el @@ -13,10 +13,10 @@ (require 'proof) (defvar proof-easy-config-derived-modes-table - '(("" "script" proof-mode (proof-config-done)) - ("shell" "shell" proof-shell-mode (proof-shell-config-done)) - ("response" "resp" proof-response-mode (proof-response-config-done)) - ("goals" "goals" pbp-mode (proof-goals-config-done))) + '(("" "script" proof-mode (proof-config-done)) + ("shell" "shell" proof-shell-mode (proof-shell-config-done)) + ("response" "response" proof-response-mode (proof-response-config-done)) + ("goals" "goals" proof-goals-mode (proof-goals-config-done))) "A list of (PREFIXSYM SUFFIXNAME PARENT MODEBODY) for derived modes.") (defun proof-easy-config-define-derived-modes () @@ -76,9 +76,7 @@ (proof-easy-config-check-setup ,sym ,name) (setq ,@body) - (proof-easy-config-define-derived-modes) - ;; FIXME: Non-uniformity in current code - (setq proof-mode-for-goals proof-mode-for-pbp))) + (proof-easy-config-define-derived-modes))) ;; (provide 'proof-easy-config) -- cgit v1.2.3