From 705b68291cd7e5e9ad410c99bd3c48223592ce5f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 27 Sep 2009 18:06:57 +0000 Subject: Follow Upper Case Convention for menu entries --- generic/proof-menu.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic') 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 -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)))))))) -- cgit v1.2.3