[isabelle-dev] Proof General 4.1 font problems

Makarius makarius at sketis.net
Fri Jan 28 12:53:11 CET 2011

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


More information about the isabelle-dev mailing list