diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 22:26:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 22:26:03 +0000 |
| commit | 7099e2d874e58c6a68685e1d328426cccc346b8e (patch) | |
| tree | bafc11586d77a268661d0b9c23f886f0c254795a /generic/proof.el | |
| parent | 30a16853c12c74f5acf4b9f93a6b4d11114b26ff (diff) | |
Remove load order tweak experiment
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/generic/proof.el b/generic/proof.el index 59fa03c3..804ba0f2 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -22,20 +22,14 @@ ;; ;;; Code: -(eval-when-compile - (require 'cl)) +(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 (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 +(proof-splash-message) ; welcome the user now. - (unless noninteractive - (proof-splash-message)) ; welcome the user now. - - (require 'proof-auxmodes) ; Further autoloads -) +(require 'proof-auxmodes) ; Further autoloads (provide 'proof) ;;; proof.el ends here |