[isabelle-dev] Release reminder

Jasmin Blanchette jasmin.blanchette at gmail.com
Fri Sep 2 17:20:13 CEST 2011

Previous message (by thread): [isabelle-dev] Release reminder
Next message (by thread): [isabelle-dev] Release reminder
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am 02.09.2011 um 17:12 schrieb Makarius:

> Did anybody get Mac OS Lion already?

Not that I'm aware of.

Jasmin

Previous message (by thread): [isabelle-dev] Release reminder
Next message (by thread): [isabelle-dev] Release reminder
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list