diff options
| author | David Aspinall | 2000-05-11 14:28:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:28:29 +0000 |
| commit | bc4b1c0b70a144c30b3f411fc1bfdc68ba78644c (patch) | |
| tree | e9835f15c6eb48003c61989290b11273726df9d1 | |
| parent | 262c1439d9b626761d0be03a685dbf89a56828da (diff) | |
Note abut ;;;###autoload not working for define-derived-mode.
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
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) |