diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 16d32653..943cae10 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -723,7 +723,7 @@ If a function, it should return the command string to insert." (restart "Restart Scripting" "Restart scripting (clear all locked regions)" t) (qed "Finish Proof" "Close/save proved theorem" t proof-save-command) - (lockedend "Locked End" nil t) + (lockedend "Goto Locked End" nil t) (find "Find Theorems" "Find theorems" t proof-find-theorems-command) (command "Issue Command" "Issue a non-scripting command" t) |