diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 10:41:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 10:41:15 +0000 |
| commit | 35bc77bbc8733296c08623d963e4e8b199c16b1e (patch) | |
| tree | 792faca0f634820379c839d6096db1f70a196021 /generic/proof.el | |
| parent | 09f02dae1b9fe622592dfb828ef39df580790284 (diff) | |
Fixup loading.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/generic/proof.el b/generic/proof.el index 0f0964fd..f90b7454 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -11,6 +11,7 @@ ;; (require 'proof-site) ; site config +(require 'proof-autoloads) ; autoloaded functions (require 'proof-compat) ; Emacs and OS compatibility (require 'proof-utils) ; utilities (require 'proof-config) ; configuration variables @@ -22,6 +23,18 @@ ;;; +;;; Extra autoloads that aren't automatic +;;; (defined with define-derived-mode) +;;; + +(autoload 'proof-mode "proof-script" + "Proof General major mode class for proof scripts.") + +(autoload 'proof-shell-mode "proof-shell" + "Proof General shell mode class for proof assistant processes") + + +;;; ;;; Global variables ;;; |