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
