diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 11:05:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 11:05:14 +0000 |
| commit | f964465a2ad8124c65cc4cebddb34d5135ee1e99 (patch) | |
| tree | 24eda7083ae15b98830c98222f56f05f362db4af /FAQ | |
| parent | 04fd141d7aaae0b6025082ee519377cd98e5a718 (diff) | |
Update xml.el issue
Diffstat (limited to 'FAQ')
| -rw-r--r-- | FAQ | 18 |
1 files changed, 12 insertions, 6 deletions
@@ -295,12 +295,18 @@ A. You can do that in Elisp with a command like this: ----------------------------------------------------------------- -Q. Why do I get a warning "[Proof General]: an old version of xml.el was loaded!"? - -A. Your Emacs session has loaded a version of xml.el from somewhere other - than the PG/lib directory. It has a bug which *may* affect PG, if - empty tags are parsed. To avoid this warning, try to start - Proof General before other Emacs packages which use xml.el, such as GNUS. +Q. Why do I get a warning "Bad version of xml.el found, ..."? + +A. Your Emacs distribution includes a version of xml.el which has + fundamental bugs. The patched version of xml.el, in lib/xml-fixed.el + has been loaded instead. This works for Proof General because it fixes + the basic bugs, but it may cause compatibility issues in other packages + (e.g. it is quite different from the latest xml.el with GNU Emacs + development versions). + + This message is probably nothing to worry about unless you are using + the same Emacs session for other packages that heavily use xml.el + (e.g. GNUS). ----------------------------------------------------------------- |