diff options
Diffstat (limited to 'lclam')
| -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 |