diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 21:05:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 21:05:53 +0000 |
commit | 882e453a0921295e95201a57ed55517ad66e9342 (patch) | |
tree | e9678e5fe096024b8be35d0830a699c4e3ced7b7 /FAQ | |
parent | c0ba98b45ed0c886e5bbfbc76c79aeeaf388fd64 (diff) |
Updated.
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -294,8 +294,8 @@ A. Customize the value of `proof-shell-strip-crs-from-output'. 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 may be buggy -- some earlier versions give - bad results parsing empty elements. To avoid this warning, try to start + 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. ----------------------------------------------------------------- |