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

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

All problems in computer science can be solved by another level of indirection, except for the problem of too many layers of indirection.

– David J. Wheeler

On 29 Oct 2013, at 11:33, Burkhart Wolff <Burkhart.Wolff at> wrote:

> Dear all,
> I recently installed Mac OS X 10.9 called Maverick and have
> understandably problems with running elder Isabelle Versions 
> (Isabelle12-1 downwards …) 
> /usr/local/isabelle/Isabelle2012/bin/isabelle jedit -l HOL Testing_Example.thy 
> Unable to find any JVMs matching version "1.6".
> No Java runtime present, try --request to install.
> Is there a known workaround ?
> (I experimented a bit with the —request option, no avail).
> bu

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