[isabelle-dev] Proof General 4.1 font problems
makarius at sketis.net
Fri Jan 28 11:47:39 CET 2011
On Fri, 28 Jan 2011, Peter Gammie wrote:
>> Some odd problems have shown up and addressed as follows:
>> * Mac OS X app bundle is back to GNU Emacs 23.2.x ("no-nonsense"),
>> default font configuration for "IsabelleText" font
> I still have font problems with \<lbrace> and \<rbrace>, and \<lparr>
> and \<rparr>.
I can confirm this on my other Mac (Snow Leopard), and can't say on the
spot how I managed before on the one running Leopard.
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.
More information about the isabelle-dev