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.
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
More information about the isabelle-dev