[isabelle-dev] isabelle jedit -l HOL fails
makarius at sketis.net
Wed Oct 2 11:03:34 CEST 2013
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.
More information about the isabelle-dev