diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
commit | 76d6b0b2b1f039549d308a0d2c478a6b05869af9 (patch) | |
tree | 78cc7e13bf290a17e7006a6d4616a8a08e36ce8f /generic/pg-xml.el | |
parent | 8f8e9388b582ad6d3ee6e1eea842a8d443d4ce89 (diff) |
Merge changes from Version4Branch.
Diffstat (limited to 'generic/pg-xml.el')
-rw-r--r-- | generic/pg-xml.el | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/generic/pg-xml.el b/generic/pg-xml.el index 3f9a0f37..46a98b2f 100644 --- a/generic/pg-xml.el +++ b/generic/pg-xml.el @@ -9,18 +9,10 @@ ;; XML functions for Proof General. ;; -(eval-when-compile - (require 'xml-fixed)) ; for compile only +(require 'xml) (require 'proof-utils) ;; for pg-internal-warning -(cond - ;; We want to find a good version of xml.el - ((featurep 'xemacs) - (require 'xml-fixed)) ;; XEmacs: used PG bundled fixed version - (t ;; Otherwise use GNU Emacs distrib version. - (require 'xml))) - (defalias 'pg-xml-error 'error) |