Re: [isabelle] Problems with elder Isabelle Versions under MacOSX Maverick
On Tue, 29 Oct 2013, Luca Ciciriello wrote:
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and