diff options
author | 2009-09-11 12:05:44 +0000 | |
---|---|---|
committer | 2009-09-11 12:05:44 +0000 | |
commit | 168bf80e85be57d22f37ec003790212119e3607b (patch) | |
tree | 67fb905c97a5aa2f02901d30975fbef8bba6c4bb /generic | |
parent | a12878d837d3c66e98bb0a0b438203a0aca469a9 (diff) |
Fix docs
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 4 |
1 files 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 |