[isabelle-dev] jdk-8u102

Makarius makarius at sketis.net
Thu Jul 28 21:31:38 CEST 2016

With Isabelle/e506baad44fa we are on jdk-8u102, which is a recent update
by Oracle with a lot of changes.

See also

Occording to my understanding of the release plan, the next will be in
Oct-2016, but only a "Critical Patch Update" with very few changes.

The next Isabelle release is likely to happen in Nov/Dec-2016.

So we should keep an eye on fine points of jdk in the next few months --
as usual on all platforms. The October update is unlikely to change
anything significant.


More information about the isabelle-dev mailing list