From 35bc77bbc8733296c08623d963e4e8b199c16b1e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 10:41:15 +0000
Subject: Fixup loading.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 5ea44dda..15275c28 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2321,6 +2321,7 @@ sent to the assistant."
 ;;
 
 (eval-and-compile			; to define vars
+;;; NB: autoload tag below doesn't work
 ;;;###autoload
 (define-derived-mode proof-mode fundamental-mode 
   proof-general-name
-- 
cgit v1.2.3