[isabelle-dev] isabelle jedit -l HOL fails

Makarius 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 mailing list