Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Update to OpenJDK 17.0.6


view this post on Zulip Email Gateway (Jan 23 2023 at 22:17):

From: Makarius <makarius@sketis.net>
With Isabelle/39f8051f71d4 we are on OpenJDK 17.0.6, see also
https://docs.azul.com/core/zulu-openjdk/release-notes/january-2023

There are a lot of small changes: the second half of January is the usual
season for that.

So far it looks good, and I do not expect any problems. OpenJDK LTS versions
appear to be rock-solid and the release cycle very robust. (In contrast to Scala.)

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC