diff options
| author | David Aspinall | 2008-01-16 21:43:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-16 21:43:48 +0000 |
| commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
| tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/proof-utils.el | |
| parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) | |
Reduce compiler warnings. Minor fixes.
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index dbe4188b..49d32813 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -18,6 +18,11 @@ (require 'proof-site) ; basic vars (require 'proof-compat) ; for pg-defface-window-systems +(require 'proof-config) ; config vars +(require 'bufhist) ; bufhist +(require 'proof-syntax) ; syntax utils +(require 'proof-autoloads) ; interface fns + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |