diff options
author | 2002-08-08 10:21:12 +0000 | |
---|---|---|
committer | 2002-08-08 10:21:12 +0000 | |
commit | d57f22c08f5642f7edf47fed6c9aa2eb953877a3 (patch) | |
tree | 9145dc730e43fc44a98de6fea397f08b3c9fd159 /lclam/lclam.el | |
parent | 652cb3be7214148861c51a3dd0ca63de683c71de (diff) |
Remove proof-shared-menu.
Diffstat (limited to 'lclam/lclam.el')
-rw-r--r-- | lclam/lclam.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |