From 3a56681adb4f06849aa4cdff701a88f4847fff14 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 4 Sep 2009 12:37:50 +0000 Subject: capitalisation --- generic/proof-menu.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 0357180a..a806293f 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -533,7 +533,7 @@ without adjusting window layout." (cons "Advanced..." (append '(["Complete Identifier" proof-script-complete t] - ["Insert last output" pg-insert-last-output-as-comment proof-shell-last-output]) + ["Insert Last Output" pg-insert-last-output-as-comment proof-shell-last-output]) (list "-----") proof-show-hide-menu (list "-----") -- cgit v1.2.3