[isabelle] Problems with elder Isabelle Versions under MacOSX Maverick
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).
This archive was generated by a fusion of
Pipermail (Mailman edition) and