diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 11:17:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 11:17:58 +0000 |
| commit | 9326d8da64b3eea61cb15cf7417af72d0ee26b11 (patch) | |
| tree | 6b8588d1a503bfc9014dc2788fb679cdc26dff55 /generic/proof-x-symbol.el | |
| parent | 3a1dba53b7d27886173347c04d76fa71ac08a6dd (diff) | |
Cleanup compile
Diffstat (limited to 'generic/proof-x-symbol.el')
| -rw-r--r-- | generic/proof-x-symbol.el | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index aaf1dcc3..4cf3c09a 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -43,7 +43,14 @@ ;; ================================================================= (eval-when-compile - (require 'proof-utils)) ; proof-ass + (add-to-list 'load-path "../x-symbol/lisp") + (require 'x-symbol-hooks) ; <reduce compiler warnings> + (require 'x-symbol-autoloads) ; <reduce compiler warnings> + (require 'proof-utils)) ; proof-ass + +(require 'proof-config) ; variables +(require 'proof-autoloads) ; + (defvar proof-x-symbol-initialized nil "Non-nil if x-symbol support has been initialized.") |