Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS)

On 26/01/2021 18:46, Makarius wrote:
> Isabelle2021-RC3 uses Java 15.0.1 (Oct-2021), the "Medium Term Support"
> version from Azul. There is now an update to Java 15.0.2+7 (Jan-2021).
> In contrast, Java 11 is still the official "Long Term Support" branch,
> presently at version 11.0.10+9 (Jan-2021). The next LTS version is Java 17,
> which is scheduled for Sep/Oct-2021 and thus relevant for the second release
> this years, approx. 10 months from now.
> I can mentally toss a coin, but it would be better to have genuine reasons for
> either Java 11 vs. Java 15, e.g. features or problems observed in real work.

Isabelle2021-RC4 uses current Java 15.0.2 (Jan-2021). Reading the cumulative
release notes after Java 11, the present state looks like a reasonable
stepping stone towards the next "LTS" version: Java 17 in Sep/Oct-2021.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.