diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 12:37:50 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 12:37:50 +0000 |
commit | 3a56681adb4f06849aa4cdff701a88f4847fff14 (patch) | |
tree | 6efc98c73a823b9b03fb18c59440c142d803a72e | |
parent | a7b7bfbb01263852fb161c672d80067c2456d8f5 (diff) |
capitalisation
-rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 "-----") |