diff options
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 |