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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
