diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
commit | 282b31af3ecdbd06cbd79f97a833caf19bbef956 (patch) | |
tree | 3fe4427f1576c7f7997169c53c7b3b1ac7afa9aa /generic/proof.el | |
parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) |
Clean compile
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/generic/proof.el b/generic/proof.el index a00c6d8a..9ec58d03 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -23,14 +23,16 @@ ;;; 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 (unless noninteractive (proof-splash-message)) ; welcome the user now. -(require 'proof-auxmodes) ; Further autoloads +(require 'proof-compat) ; Emacs and OS compatibility +(require 'proof-utils) ; utilities +(require 'proof-config) ; configuration variables +(require 'proof-auxmodes) ; auxmode functions +(require 'proof-script) ; script mode +(require 'proof-shell) ; shell mode (provide 'proof) ;;; proof.el ends here |