[isabelle-dev] jdk-8u152 (x86_64 only)
makarius at sketis.net
Mon Oct 23 21:06:04 CEST 2017
With Isabelle/03a96b8c7c06 we are on recent jdk-8u152, see also
I have taken the opportunity to discontinue x86-linux and x86-windows
platforms. This means that the component and the resulting application
bundle for Linux is much smaller.
More information about the isabelle-dev