Re: [isabelle-dev] Cannot build HOL (again)

> Unknown JAVA_HOME -- Java unavailable After removing .isabelle, you'll have to do the usual incantation to retrieve the components: ./bin/isabelle components -I ./bin/isabelle components -a ___ isabelle-dev mailing list isabelle-...@in.tum.de

Re: [isabelle-dev] Cannot build HOL (again)

Then I get Unknown JAVA_HOME -- Java unavailable Larry > On 21 May 2018, at 18:17, Florian Haftmann > wrote: > > Do the problems persist if you remove ~/.isabelle e.g. to ~/.isabelle_tmp? ___