diff options
| author | David Aspinall | 2000-08-28 12:49:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-28 12:49:08 +0000 |
| commit | 4be90b5c0859a9e1f6b60343ad00610525e886ff (patch) | |
| tree | 60c15894420946c596a84dfab56f9c2b9bb43389 | |
| parent | 102369a25f044ec8385d3bc0b8dd83aed9f6bfb8 (diff) | |
FIXME note added, missing docstring from macro fn def.
| -rw-r--r-- | generic/proof-menu.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 69a2fcc1..5a9d1946 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -297,6 +297,7 @@ KEY is added onto proof-assistant map." (eval `(define-key (proof-ass keymap) (quote ,key) (quote ,fn)))) `(defun ,fn () + ;; FIXME: docstring broken! and above. (concat "Command to send " ,string " to the proof assistant.") (interactive) (proof-shell-invisible-command ,string))) |