[isabelle-dev] x-symbols

Lawrence Paulson lp15 at cam.ac.uk
Fri Aug 21 21:03:42 CEST 2009

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.

-------------- 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>

More information about the isabelle-dev mailing list