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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
