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
On Thu, 27 Jan 2011, Makarius wrote:
Yet another test release:
http://www4.in.tum.de/~wenzelm/test/isa2011-test3/
There is now an update of the same isa2011-test3 with a patched version of
ProofGeneral-4.1pre110112 as follows:
* Mac OS X fonts: instead of IsabelleText refer to
On Fri, 28 Jan 2011, Makarius wrote:
On Thu, 27 Jan 2011, Makarius wrote:
Yet another test release:
http://www4.in.tum.de/~wenzelm/test/isa2011-test3/
There is now an update of the same isa2011-test3 with a patched version of
ProofGeneral-4.1pre110112 as follows:
* Mac OS X fonts: