diff options
| author | David Aspinall | 2002-08-07 10:09:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-07 10:09:40 +0000 |
| commit | cdd4c5d78b0ef792ae6d43f98a54b8813bcfb5fa (patch) | |
| tree | adf9db6ec35912883da36ddc25aaa78ca62a626e /generic/proof-shell.el | |
| parent | e2ac74a6bcca223394d2db5399394ef0fd445c77 (diff) | |
Reorganized menus; add options save function; fix capitalization of names
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) ;; |