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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
