With Isabelle/03a96b8c7c06 we are on recent jdk-8u152, see also
http://www.oracle.com/technetwork/java/javase/8u151-relnotes-3850493.html
and
http://www.oracle.com/technetwork/java/javase/8u152-relnotes-3850503.html
I have taken the opportunity to discontinue x86-linux and x86-windows
platforms. This means that the component and the resulting application
bundle for Linux is much smaller.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
