From 168bf80e85be57d22f37ec003790212119e3607b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Sep 2009 12:05:44 +0000
Subject: Fix docs

---
 generic/proof-config.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index e80ade04..23dae667 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -668,8 +668,8 @@ if necessary."
 String or function.
 If this is set to a string, `%s' will be replaced by the number of
 undo steps to issue.
-If this is set to a function, it should return the appropriate
-command when called with an integer (the number of undo steps).
+If this is set to a function, it should return a list of
+the appropriate commands (given the number of undo steps).
 
 This setting is used for the default `proof-generic-count-undos'.
 If you set `proof-count-undos-fn' to some other function, there is no
-- 
cgit v1.2.3