makarius at sketis.net
Fri Apr 20 16:00:42 CEST 2018
With Isabelle/72e1d5da30c6 we are on jdk-8u172. This is a routine
update, nothing particularly interesting.
Above Oracle also promises another Java 8 release for 17-Jul-2018. Thus
we can include that for the forthcoming Isabelle2018 (published probably
late August 2018).
More information about the isabelle-dev