Then I get Unknown JAVA_HOME -- Java unavailable
Larry > On 21 May 2018, at 18:17, Florian Haftmann > <florian.haftm...@informatik.tu-muenchen.de> wrote: > > Do the problems persist if you remove ~/.isabelle e.g. to ~/.isabelle_tmp?
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
