diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 10:34:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 10:34:55 +0000 |
| commit | 04fd141d7aaae0b6025082ee519377cd98e5a718 (patch) | |
| tree | d8a6c4cb7fadc36ecb763840172efd8999991b69 /generic/pg-xml.el | |
| parent | aea12608a1c2b10b8990c6f01e2495345ecee91f (diff) | |
Dont overwrite distribution version of xml.el, only use fixed version for XEmacs.
Diffstat (limited to 'generic/pg-xml.el')
| -rw-r--r-- | generic/pg-xml.el | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/generic/pg-xml.el b/generic/pg-xml.el index d4f15df0..e3465753 100644 --- a/generic/pg-xml.el +++ b/generic/pg-xml.el @@ -11,10 +11,12 @@ (require 'proof-utils) ;; for pg-internal-warning -(require 'xml) ;; Emmanuel Briot's XML parser, updated by Mark A. Hershberger - ;; (bundled with PG in directory lib/ to try to avoid incompatible versions) - - +(cond + ;; We want to find a good version of xml.el + (proof-running-on-XEmacs + (require 'xml-fixed)) ;; XEmacs: used PG bundled fixed version + (t ;; Otherwise use GNU Emacs distrib version. + (require 'xml))) ;; Elisp format of XML trees (see xml.el) ;; |