Re: [isabelle] Problems with elder Isabelle Versions under MacOSX Maverick

On Tue, 29 Oct 2013, Luca Ciciriello wrote:

Same problem.
Mavericks is distributed without any JDK.
No workaround. You have to install the required JDK to solve the problem.

I think that situation was the same on Lion and Mountain Lion already. It is merely how Apple phases out Java 1.6 slowly, and it is in fact really old now.

See also:


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.