On Fri, 28 Jan 2011, Makarius wrote:
For some reason, Proof General 4.1 tries hard to ignore the IsabelleText default font. There is a specific font selection menu "Tokens -- Set Font -- Symbol" etc. Even if everything is set to "IsabelleText", Emacs uses odd default fonts that lack some unicode glyphs.
See also http://proofgeneral.inf.ed.ac.uk/trac/ticket/389 Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev