Isabelle/9c94853f03b3 is now on jdk-8u121, which was released by Oracle last week. It is a relatively unexciting update, see also:
http://www.oracle.com/technetwork/java/javaseproducts/documentation/8u121-revision-builds-relnotes-3450732.html http://www.oracle.com/technetwork/java/javase/8u121-relnotes-3315208.html More interesting is the "isabelle build_jdk" tool in Isabelle/Scala instead of bash: http://isabelle.in.tum.de/repos/isabelle/file/9c94853f03b3/src/Pure/Admin/build_jdk.scala Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev