[isabelle-dev] jdk-8u131

Makarius makarius at sketis.net
Fri May 19 21:09:08 CEST 2017


With Isabelle/300beacd9875 we are on jdk-8u131, which was released by
Oracle some weeks ago. This is a minor update; see also:

http://www.oracle.com/technetwork/java/javase/8u131-relnotes-3565278.html
http://www.oracle.com/technetwork/java/javase/2col/8u131-bugfixes-3565760.html


	Makarius


More information about the isabelle-dev mailing list