[isabelle-dev] Towards release

René Thiemann rene.thiemann at uibk.ac.at
Tue Sep 20 13:15:52 CEST 2011


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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 

-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-6434
University of Innsbruck




More information about the isabelle-dev mailing list