From 282b31af3ecdbd06cbd79f97a833caf19bbef956 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 10 Sep 2009 21:52:37 +0000 Subject: Clean compile --- generic/proof.el | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'generic/proof.el') 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 -- cgit v1.2.3