diff options
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) ;; |