[isabelle-dev] x-symbols

[Lawrence Paulson]

Does anybody know what would cause the symbols that look like this? It  
is the latest version of proof general running under GNU Emacs 22.2.1.

Larry
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 1.jpg
Type: image/jpeg
Size: 42814 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090821/19df6814/attachment-0001.jpg>