This is just a totally arbitrary snapshot in the middle of the release cycle: http://www4.in.tum.de/~wenzelm/test/Isabelle_01-Jun-2016
It might help to check if Java 8u92 works on all platforms.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
