Re: [isabelle] Isabelle2013-RC3 available for testing

Le Fri, 08 Feb 2013 16:00:56 +0100, Alfio Martini <alfio.martini at> a écrit:

IsaUser1: Dude, who does Makarius think uses the size 18 font that comes
as the default for jEdit?

IsaUser2: Well, that would be Makarius himself. He uses a football stadium
size monitor, and at 50 meters, even a size 18 font is small, as you can

Amazing ..:-)

Yes :-D (hope Makarius will enjoy his celebrity and the joke)

I personally change the font size to 14, check the “Use fractional font metrics” option, and set anti‑aliasing to “standard”. These are my personal defaults for Isabelle.

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.