[isabelle-dev] Cannot build HOL (again)

Lawrence Paulson lp15 at cam.ac.uk
Tue May 22 12:53:31 CEST 2018

Then I get 

Unknown JAVA_HOME -- Java unavailable


> On 21 May 2018, at 18:17, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> Do the problems persist if you remove ~/.isabelle e.g. to ~/.isabelle_tmp?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180522/02c71516/attachment-0002.html>

More information about the isabelle-dev mailing list