[isabelle-dev] isabelle jedit -l HOL fails

[Makarius]

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