diff options
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] |