diff options
| author | David Aspinall | 2002-08-27 11:39:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-27 11:39:47 +0000 |
| commit | 1ecacae33ee3a98ec69c9457c6ffb579bfac6a19 (patch) | |
| tree | dedeb86b2310f4a3491f6d55d3fdb82788710b30 | |
| parent | 8bfcef5645f1681c10ea17d3718b2e32a9323d58 (diff) | |
Menu name
| -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) |