diff options
| author | David Aspinall | 1998-11-12 14:37:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-12 14:37:57 +0000 |
| commit | 1fb5070835d7c118d97d15fe814dd540aeab475b (patch) | |
| tree | 250fd2a6c8d76c533585210cbd02463654d4cfc3 /generic/proof-script.el | |
| parent | fda517f5cf111ec1caf132c6580b2859baf61bc5 (diff) | |
Added Goals buffer to buffers menu -- I forgot it\!
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e49442cf..8e92e200 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1377,6 +1377,9 @@ No action if BUF is nil." ["Active scripting" (proof-switch-to-buffer (car-safe proof-script-buffer-list)) :active (car-safe proof-script-buffer-list)] + ["Goals" + (proof-switch-to-buffer proof-pbp-buffer t) + :active proof-pbp-buffer] ["Response" (proof-switch-to-buffer proof-response-buffer t) :active proof-response-buffer] |