diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-08 09:08:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-08 09:08:23 +0000 |
| commit | 22c7bd6683afd2e17b5142f7d1a4af80ed21dfa7 (patch) | |
| tree | 62a783cf5fb64177f6dba86982734e8b55fd0c06 /generic/proof-utils.el | |
| parent | 1f8f976ac19d955ec73caa5d7875e9ce3e0d6e92 (diff) | |
Remove developers note from docstring of togglers
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 2c9468cd..6bf9e53e 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -505,8 +505,8 @@ Args as for the macro `proof-deftoggle', except will be evaluated." `(defun ,(if othername othername (intern (concat (symbol-name var) "-toggle"))) (&optional arg) ,(concat "Toggle `" (symbol-name var) "'. With ARG, turn on iff ARG>0. -This function simply uses customize-set-variable to set the variable. -It was constructed with `proof-deftoggle-fn'.") +This function simply uses customize-set-variable to set the variable.") +; It was constructed with `proof-deftoggle-fn'." (interactive "P") (customize-set-variable (quote ,var) |