From d6a542b3c810191aa2a9c6180f541d139102f884 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 14:57:43 +0000
Subject: Added autoload

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 5337c486..0821b4fa 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -254,6 +254,7 @@
   
 ;;; Define stuff from favourites
 
+;;;###autoload
 (defmacro proof-defshortcut (fn string &optional key)
   "Define shortcut function FN to insert STRING, optional keydef KEY.
 This is intended for defining proof assistant specific functions.
-- 
cgit v1.2.3