diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 16:11:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 16:11:06 +0000 |
| commit | 189b7a213b9dd9366dda6288e9a0a0e64bf06e49 (patch) | |
| tree | ae6917a33bc7d89dee96b27d37d3a2dd31a1a91c /generic/proof-script.el | |
| parent | 215f027e6d76c2b686725fc2e86ce28e1ee09f7d (diff) | |
Removed eval-when-compile around define-derived-mode, it don't work.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 089ddf42..5e13be05 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1372,7 +1372,6 @@ sent to the assistant." ;; configuring for new assistants. ;;;###autoload -(eval-when-compile ; to initialise variables (define-derived-mode proof-mode fundamental-mode proof-mode-name "Proof General major mode class for proof scripts. @@ -1387,7 +1386,7 @@ sent to the assistant." (add-hook 'kill-buffer-hook (lambda () (setq proof-script-buffer-list - (remove (current-buffer) proof-script-buffer-list)))))) + (remove (current-buffer) proof-script-buffer-list))))) ;; Fixed definitions in proof-mode-map, which don't depend on ;; prover configuration. |