From 1fb5070835d7c118d97d15fe814dd540aeab475b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 14:37:57 +0000
Subject: Added Goals buffer to buffers menu -- I forgot it\!

---
 generic/proof-script.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic/proof-script.el')

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]
-- 
cgit v1.2.3