[isabelle-dev] jdk-8u102

Makarius makarius at sketis.net
Fri Jul 29 11:15:09 CEST 2016

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:



More information about the isabelle-dev mailing list