From bc4b1c0b70a144c30b3f411fc1bfdc68ba78644c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:28:29 +0000
Subject: Note abut ;;;###autoload not working for define-derived-mode.

---
 generic/proof-shell.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 9a165804..2452d78d 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1791,8 +1791,9 @@ If WAIT is an integer, wait for that many seconds afterwards."
 ;;
 
 
-;;###autoload
 (eval-and-compile			; to define vars
+;;; NB: autoload tag below doesn't work for d-d-m, autoload is in proof.el
+;;;###autoload
 (define-derived-mode proof-shell-mode comint-mode 
   "proof-shell" "Proof General shell mode class for proof assistant processes"
   (setq proof-buffer-type 'shell)
-- 
cgit v1.2.3