On 28/07/16 21:31, Makarius wrote: > > So we should keep an eye on fine points of jdk in the next few months -- > as usual on all platforms.
Here is an arbitrary Isabelle snapshot with jdk-8u102, which helps to do the testing on all platforms: http://www4.in.tum.de/~wenzelm/test/Isabelle_28-Jul-2016 Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev