diff options
Diffstat (limited to 'generic')
| -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))) |