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:

http://apple.stackexchange.com/questions/106834/how-do-i-install-jdk-1-6-in-mavericks
http://support.apple.com/kb/DL1572


	Makarius





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