diff options
| author | David Aspinall | 2009-09-27 18:06:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-27 18:06:57 +0000 |
| commit | 705b68291cd7e5e9ad410c99bd3c48223592ce5f (patch) | |
| tree | 2cd624dade6562055eac8b90b6ed7e1c8b676bdb | |
| parent | 4c68342f0ee9dd821e7fa9f6d232d88fa015b94f (diff) | |
Follow Upper Case Convention for menu entries
| -rw-r--r-- | generic/proof-menu.el | 6 | ||||
| -rw-r--r-- | isar/isabelle-system.el | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index fe34b5d0..63671371 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -191,7 +191,7 @@ without adjusting window layout." ':active '(proof-shell-live-buffer)) ;; TODO: doc <PA>-set-command here (vector - (concat "Set " proof-assistant " command") + (concat "Set " proof-assistant " Command") (proof-ass-sym set-command) ':active '(fboundp (proof-ass-sym set-command)))) '("----") @@ -200,11 +200,11 @@ without adjusting window layout." (append (list (vector - (concat proof-assistant " information") + (concat proof-assistant " Information") 'proof-help :visible proof-info-command) (vector - (concat proof-assistant " web page") + (concat proof-assistant " Web Page") '(browse-url proof-assistant-home-page) :visible proof-assistant-home-page)) (proof-ass help-menu-entries)))))))) diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 7d654d34..040fb959 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -261,7 +261,7 @@ for you, you should disable this behaviour." (let ((vc '(lambda (docdes) (vector (car (cdr docdes)) (list 'isa-view-doc (car docdes)) t)))) - (list (cons "Isabelle documentation" (mapcar vc (isa-tool-list-docs))))) + (list (cons "Isabelle Documentation" (mapcar vc (isa-tool-list-docs))))) "Isabelle documentation menu. Constructed when PG is loaded.") (defvar isabelle-logics-menu-entries nil |