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