From 9798eefc31212f619cfabf80cfd36f5485a8f2ed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Nov 2002 16:24:56 +0000
Subject: Autoload proof-definvisible

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

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 779a9fb5..0970a393 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -445,6 +445,7 @@ KEY is added onto proof-assistant map."
      (interactive)
      (proof-insert ,string)))
 
+;;;###autoload
 (defmacro proof-definvisible (fn string &optional key)
   "Define function FN to send STRING to proof assistant, optional keydef KEY.
 This is intended for defining proof assistant specific functions.
-- 
cgit v1.2.3