[isabelle] Problems with elder Isabelle Versions under MacOSX Maverick



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.