Stream: Mirror: Isabelle Development Mailing List

Topic: Update to jdk-21.0.8

view this post on Zulip Email Gateway (Aug 07 2025 at 21:34):

From: Makarius <makarius@sketis.net>
With Isabelle/b2b88d5b01b6 we are on current jdk-21.0.8, see also the full
release notes
https://docs.azul.com/core/pdfs/july-2025/azul-zulu-ca-release-notes-july-2025-rev1.1.pdf

These are many details, but usually not practically relevant for us: OpenJDK
progresses monotonically, becoming better and better.

Makarius

Last updated: Aug 31 2025 at 20:21 UTC