diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-09-20 11:47:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-20 11:47:27 +0000 |
| commit | c36396fb154c8b9a6af7a5445ae82d625f95e249 (patch) | |
| tree | efa297ccc7254e3f939aa25a96af91dccda09f18 /generic/pg-custom.el | |
| parent | 48857ed9d719db24e980bc0cadbe9fb6dcbff3cc (diff) | |
Fix typo
Diffstat (limited to 'generic/pg-custom.el')
| -rw-r--r-- | generic/pg-custom.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index 84e1bf5e..c58b8e11 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -51,7 +51,7 @@ (use "Use Buffer" "Process whole buffer" t t) (goto "Goto Point" "Process or undo to the cursor position" t t) (qed "Finish Proof" "Close/save proved theorem" t nil) - (home "Goto Locked End" "Goto end of the last command proceesed" t t) + (home "Goto Locked End" "Goto end of the last command processed" t t) (find "Find Theorems" "Find theorems" t proof-find-theorems-command) (info "Identifier Info" "Information about identifier" t proof-query-identifier-command) (command "Issue Command" "Issue a non-scripting command" t t) |