diff options
| author | David Aspinall | 1998-11-02 17:22:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-02 17:22:29 +0000 |
| commit | b34ddba34b88e08dde2e37b8eb357fd76300ed43 (patch) | |
| tree | e7978ee82182c33d0b5fd3c61709021c563ba3ed /generic/proof.el | |
| parent | da2ed54dac8160ae4cdb25c8e048600dc1e38973 (diff) | |
Quick fix for multiple file problem when current scripting buffer is retracted by prover.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/generic/proof.el b/generic/proof.el index 29e89e2d..ed78f397 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -26,17 +26,25 @@ (require 'proof-splash) ; splash screen +;;; +;;; Emacs libraries +;;; + ;; cl is dumped with my XEmacs 20.4, but not FSF Emacs 20.2. (require 'cl) - ;; browse-url function doesn't seem to be autoloaded in ;; XEmacs 20.4, but it is in FSF Emacs 20.2. (or (fboundp 'browse-url) (autoload 'browse-url "browse-url" "Ask a WWW browser to load URL." t)) +(autoload 'font-lock-fontify-region "font-lock") +(autoload 'font-lock-append-text-property "font-lock") + +;;; ;;; Autoloads for main code +;;; (autoload 'proof-mode "proof-script" "Proof General major mode class for proof scripts.") @@ -55,8 +63,6 @@ (autoload 'proof-shell-available-p "proof-shell" "Returns non-nil if there is a proof shell active and available.") -(autoload 'font-lock-fontify-region "font-lock") -(autoload 'font-lock-append-text-property "font-lock") ;;; ;;; Global variables ;;; @@ -103,7 +109,6 @@ The cdr of the list of corresponding file names is a subset of - ;;; ;;; Utilities/macros used in several files (proof-utils) ;;; |