[isabelle-dev] jdk-8u72

Makarius makarius at sketis.net
Wed Jan 20 19:55:32 CET 2016


Oracle has delivered yesterday.

As of Isabelle/e208fa77beb1 we are on jdk-8u72, which means 16 tons of 
download for relatively few improvements.  See also 
http://www.oracle.com/technetwork/java/javase/2col/8u72-bugfixes-2775805.html

At least the Nimbus scrollbar "thumb" is back again: 
https://bugs.openjdk.java.net/browse/JDK-8134828


 	Makarius


More information about the isabelle-dev mailing list