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-x-symbol.el | |
| parent | 8406f9dfcc827f56486041f9bbdd08d83fd9c416 (diff) | |
pbp-mode -> goals-mode
Diffstat (limited to 'generic/proof-x-symbol.el')
| -rw-r--r-- | generic/proof-x-symbol.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index bdc1175a..6ebff0ad 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -87,8 +87,8 @@ The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol")) (or proof-mode-for-script ;; FIXME: next one only correct for isabelle (intern (concat assistant "-proofscript-mode"))) - (or proof-mode-for-pbp - (intern (concat assistant "-pbp-mode"))))) + (or proof-mode-for-goals + (intern (concat assistant "-goals-mode"))))) (all-xs-modes (append xs-std-modes xs-xtra-modes)) (am-entry (list proof-xsym-extra-modes t `(quote ,xs-lang))) |