On Tue, 1 Oct 2013, Clemens Ballarin wrote:
I'm still on MacOSX 10.6.8 Snow Leopard.
That is now getting very old. Isabelle2013-1 will probably be the last
release that still supports it (partially) -- and since I don't have easy
local access to Snow Leopard, I can't even test that directly.
Oracle and Apple are giving up OS versions much quicker than we do.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
