From c36396fb154c8b9a6af7a5445ae82d625f95e249 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 20 Sep 2010 11:47:27 +0000 Subject: Fix typo --- generic/pg-custom.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.2.3