From d9fd06db0fed8a8dbf71b9e48cb747207f03ebcf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Sep 2009 08:41:14 +0000
Subject: Typo

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index de9f73e4..18323c3e 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -599,7 +599,7 @@ save commands, so don't use that if your prover has save commands."
   :group 'proof-script)
 
 (defcustom proof-count-undos-fn 'proof-generic-count-undos
-  "Function to calculate a list of command to undo to reach a target span.
+  "Function to calculate a list of commands to undo to reach a target span.
 The function takes a span as an argument, and should return a string
 which is the command to undo to the target span.  The target is
 guaranteed to be within the current (open) proof.
-- 
cgit v1.2.3