diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 08:41:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 08:41:14 +0000 |
| commit | d9fd06db0fed8a8dbf71b9e48cb747207f03ebcf (patch) | |
| tree | f3854efc4a204a76f600735e416d2a2517762943 /generic/proof-config.el | |
| parent | 4b2801a521f7365f8a3833fa9805828792dac853 (diff) | |
Typo
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
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. |