diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 1 insertions, 5 deletions
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) ;; |