diff options
| -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 "-----") |