Re: [isabelle] Isabelle2013-RC3 available for testing
Le Fri, 08 Feb 2013 16:00:56 +0100, Alfio Martini
<alfio.martini at acm.org> 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
size monitor, and at 50 meters, even a size 18 font is small, as you can
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.” 
“Structured Programming supports the law of the excluded muddle.” 
: Epigrams on Programming — Alan J. — P. Yale University
This archive was generated by a fusion of
Pipermail (Mailman edition) and