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 <>
With Isabelle/39f8051f71d4 we are on OpenJDK 17.0.6, see also

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


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC