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>
