diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-16 10:07:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-16 10:07:43 +0000 |
| commit | eacaa7426c8862a317f987476116240d12b50c6d (patch) | |
| tree | 123ec7462a80d93872c42ee422eff9ead572eb92 /generic/proof-utils.el | |
| parent | 83e262c909179fca5a3c328bd867e18fd999561a (diff) | |
Docstring fix
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 50c2f926..f07b8d00 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -408,7 +408,7 @@ It was constructed with `proof-customize-toggle-fn'.") (defmacro proof-deftoggle (var &optional othername) "Define a function VAR-toggle for toggling a boolean customize setting VAR. VAR, OTHERNAME are not evaluated. -The function is defined with `proof-customize-toggle-fn', which see." +The function is defined with `proof-deftoggle-fn', which see." `(proof-deftoggle-fn (quote ,var) (quote ,othername))) |