diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 14:07:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 14:07:40 +0000 |
commit | 6df08b4dfd7b462e3c62eea3bc2efb2b79649949 (patch) | |
tree | f58836849f7bbf7af066bce7a6ca25f4e06e6212 /generic/proof-easy-config.el | |
parent | 8406f9dfcc827f56486041f9bbdd08d83fd9c416 (diff) |
pbp-mode -> goals-mode
Diffstat (limited to 'generic/proof-easy-config.el')
-rw-r--r-- | generic/proof-easy-config.el | 12 |
1 files changed, 5 insertions, 7 deletions
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) |