diff options
| author | David Aspinall | 2002-08-08 10:21:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 10:21:12 +0000 |
| commit | d57f22c08f5642f7edf47fed6c9aa2eb953877a3 (patch) | |
| tree | 9145dc730e43fc44a98de6fea397f08b3c9fd159 | |
| parent | 652cb3be7214148861c51a3dd0ca63de683c71de (diff) | |
Remove proof-shared-menu.
| -rw-r--r-- | isa/thy-mode.el | 28 | ||||
| -rw-r--r-- | lclam/lclam.el | 3 |
2 files changed, 11 insertions, 20 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index 98039e43..2bd64345 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -192,32 +192,22 @@ You can use the following format characters: ;; (also in proof-universal-keys) ["Issue command" proof-minibuffer-cmd t] ["Interrupt prover" proof-interrupt-process t]) - proof-shared-menu - ;; begin UGLY COMPATIBILTY HACK - ;; older/non-existent customize doesn't have - ;; this function. - (if (fboundp 'customize-menu-create) - (list (customize-menu-create 'proof-general) - (customize-menu-create - 'proof-general-internals - "Internals")) - nil) - ;; end UGLY COMPATIBILTY HACK - ))) + (list proof-buffer-menu) + (list proof-help-menu)))) (easy-menu-define thy-mode-isa-menu thy-mode-map "Menu for Isabelle Proof General, theory file mode." (cons "Theory" (list - ["Next section" thy-goto-next-section t] - ["Prev section" thy-goto-prev-section t] - ["Insert template" thy-insert-template t] - ["Process theory" isa-process-thy-file + ["Next Section" thy-goto-next-section t] + ["Prev Section" thy-goto-prev-section t] + ["Insert Template" thy-insert-template t] + ["Process Theory" isa-process-thy-file :active (proof-locked-region-empty-p)] - ["Retract theory" isa-retract-thy-file + ["Retract Theory" isa-retract-thy-file :active (proof-locked-region-full-p)] - ["Next error" proof-next-error t] - ["Switch to script" thy-find-other-file t]))) + ["Next Error" proof-next-error t] + ["Switch to Script" thy-find-other-file t]))) (easy-menu-add thy-mode-pg-menu thy-mode-map) (easy-menu-add thy-mode-isa-menu thy-mode-map) 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 |