diff options
author | 2007-12-14 12:11:12 +0000 | |
---|---|---|
committer | 2007-12-14 12:11:12 +0000 | |
commit | 57f0a927a68c79feb9beafe93979a66635ea332d (patch) | |
tree | 8ab2051cb693656d7b8d4754f23a3eb7747eec5e /generic/proof-utils.el | |
parent | 506923fc800808f9b29d3d755854c2bf77d6f64b (diff) |
Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-face-specs to proof-utils
Diffstat (limited to 'generic/proof-utils.el')
-rw-r--r-- | generic/proof-utils.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 85daf3ee..1cb372fb 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -10,6 +10,7 @@ ;; Loading note: this file is required immediately from proof.el, so ;; no autoloads are used here. +(require 'proof-compat) ;; for pg-defface-window-systems ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |