From cdd4c5d78b0ef792ae6d43f98a54b8813bcfb5fa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Aug 2002 10:09:40 +0000
Subject: Reorganized menus; add options save function; fix capitalization of
 names

---
 generic/proof-shell.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 0a40433c..f1268ca3 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1735,14 +1735,10 @@ usual, unless NOERROR is non-nil."
   ;; shell startup fails.  Ugly, but low priority to fix.
   ))
 
-;; watch difference with proof-shell-menu, proof-shell-mode-menu.
-(defvar proof-shell-menu proof-shared-menu
-  "The menu for the Proof-assistant shell.")
-
 (easy-menu-define proof-shell-mode-menu
 		  proof-shell-mode-map
 		  "Menu used in Proof General shell mode."
-		  (cons proof-general-name proof-shell-menu))
+		  proof-aux-menu)
 
 
 ;;
-- 
cgit v1.2.3