[isabelle-dev] jdk-8u172

Makarius 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.

See also

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 mailing list