[isabelle-dev] Release reminder

[Lawrence Paulson]

I've got it. No problems with Isabelle.
Larry

On 2 Sep 2011, at 16:20, Jasmin Blanchette wrote:

> Am 02.09.2011 um 17:12 schrieb Makarius:
> 
>> Did anybody get Mac OS Lion already?
> 
> Not that I'm aware of.
> 
> Jasmin
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev