From d57f22c08f5642f7edf47fed6c9aa2eb953877a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 10:21:12 +0000
Subject: Remove proof-shared-menu.

---
 lclam/lclam.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lclam')

diff --git a/lclam/lclam.el b/lclam/lclam.el
index ed83418a..64954742 100644
--- a/lclam/lclam.el
+++ b/lclam/lclam.el
@@ -157,7 +157,8 @@
                            ;; (also in proof-universal-keys)
                             ["Issue command" proof-minibuffer-cmd t]
                             ["Interrupt prover" proof-interrupt-process t])
-                           proof-help-menu)))
+			   (list proof-buffer-menu)
+                           (list proof-help-menu))))
 
   (easy-menu-define thy-mode-lclam-menu
                     thy-mode-map
-- 
cgit v1.2.3