diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-01-03 19:53:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-01-03 19:53:09 +0000 |
commit | 5b239459625b6c51b65c1a0b487edf49425469c1 (patch) | |
tree | 1d73745f5f73f76168af01f6595d50c83a7f6edf /FAQ | |
parent | 742a93c15722847bd19b43b9dd4ff300dd04a934 (diff) |
Add FAQ on funny symbols/x-symbol problems
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -88,6 +88,28 @@ A. You're missing some Emacs (probably XEmacs) packages. See ----------------------------------------------------------------- +Q. Proof General shows a warning like this when started: + + (1) (file-mode-spec/warning) Error in File mode specification: Invalid argument: Invalid tag set, (mule-fonts) + + Backtrace follows: + + canonicalize-tag-set((mule-fonts)) + + Also/alternatively, I notice junk in the output display with funny + accented characters. What's wrong? + +A. You're probably using a 21.5.x beta version of XEmacs which is + incompatible with X-Symbol (both the version distributed with + XEmacs and the version distributed with Proof General). + Please update to a 2007 development release of Proof General + which has added some compatibility patches for XEmacs 21.5. + +----------------------------------------------------------------- + + + + Q. Where have my buffers gone? They used to be on the Buffers menu! A. The PG "associated buffers" which display the proof state and |