From 4be90b5c0859a9e1f6b60343ad00610525e886ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:49:08 +0000
Subject: FIXME note added, missing docstring from macro fn def.

---
 generic/proof-menu.el | 1 +
 1 file changed, 1 insertion(+)

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)))
-- 
cgit v1.2.3