Hi, I'm trying to start the Isabelle repo version, but only get as far as
peter@peterXps:~/devel/Isabelle-devel$ ./bin/isabelle ### Building Isabelle/Scala ... Unknown JAVA_HOME -- Java unavailable Failed to compile sources peter@peterXps:~/devel/Isabelle-devel$ echo $JAVA_HOME /usr/lib/jvm/java-14-openjdk-amd64 My machine is brand new, so I might be lacking some prerequisites? Isabelle2021 runs without problems. -- Peter peter@peterXps:~/devel/Isabelle-devel$ hg tip changeset: 73411:1f1366966296 tag: tip user: haftmann date: Thu Mar 11 07:05:38 2021 +0000 summary: avoid name clash _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
