Dear all, when using the September 2011 version, I spotted the following font problem under Mac OS Lion:
record braces \<lparr> and \<rparr> are displayed as blanks (although the width is roughly half of a normal blank) I even emptied my .emacs file to see whether it was my specific setup that caused the error, but still the display error occurs. Cheers, René Am 18.09.2011 um 17:38 schrieb Makarius: > After a few more rounds of fine tuning, my impression is that we are slowly > converging. > > http://isabelle.in.tum.de/repos/isabelle/file/f80d918f8ac0/ANNOUNCE there is > a tentative announcement based on current NEWS. Is there anything missing? > Some of the collective tool and library changes may be emphasized further, if > they can stand on their own as separate item. > > Are there any further things in the pipeline? In the final phase one needs a > bit more organization than the "push first, fix later" cycle that > occasionally happens outside this special season. > > > Makarius > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > -- René Thiemann mailto:[email protected] Computational Logic Group http://cl-informatik.uibk.ac.at/~thiemann/ Institute of Computer Science phone: +43 512 507-6434 University of Innsbruck _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
