Re: [isabelle-dev] jdk-8u102

2016-07-29 Thread Makarius 
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

[isabelle-dev] jdk-8u102

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

See also
http://www.oracle.com/technetwork/java/javase/8u102-relnotes-3021767.html
http://www.oracle.com/technetwork/java/javase/2col/8u102-bugfixes-3021768.html


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.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev