diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:19:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:19:59 +0000 |
| commit | ff4011ea21dee63ffe62be170c16a58f7b011b87 (patch) | |
| tree | 21e2156006e9eb9fab3cf87ac8812f451b7735a0 /generic/proof.el | |
| parent | bf9066e8b0b5c6f02a19cd4baeeae598a357675b (diff) | |
Requires processed more often (experiment)
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/generic/proof.el b/generic/proof.el index af065f89..59fa03c3 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -1,6 +1,6 @@ ;;; proof.el --- Proof General loader. ;; -;; Copyright (C) 1998-2008 LFCS Edinburgh. +;; Copyright (C) 1998-2009 LFCS Edinburgh. ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen, ;; Thomas Kleymann and Dilip Sequeira ;; License: GPL (GNU GENERAL PUBLIC LICENSE) @@ -22,14 +22,20 @@ ;; ;;; Code: -(require 'proof-site) ; site/prover config, global vars, autoloads -(require 'proof-compat) ; Emacs and OS compatibility -(require 'proof-utils) ; utilities -(require 'proof-config) ; configuration variables +(eval-when-compile + (require 'cl)) -(proof-splash-message) ; welcome the user now. +(eval-when (eval load compile) + (require 'proof-site) ; site/prover config, global vars, autoloads + (require 'proof-compat) ; Emacs and OS compatibility + (require 'proof-utils) ; utilities + (require 'proof-config) ; configuration variables -(require 'proof-auxmodes) ; Further autoloads + (unless noninteractive + (proof-splash-message)) ; welcome the user now. + + (require 'proof-auxmodes) ; Further autoloads +) (provide 'proof) ;;; proof.el ends here |