Update to jdk-21.0.6
Makarius
makarius at sketis.net
Fri Jan 24 20:39:09 CET 2025
With Isabelle/82cf33956a17 we are on current jdk-21.0.6, which has been
released this week on time for our own release. Any remaining support for old
jdk-17 has been discontinued.
Details of the current PSU (Patch Set Update) are here:
https://docs.azul.com/core/pdfs/january-2025/azul-zulu-ca-release-notes-january-2025-rev1.1.pdf
--- I've checked all occurrences of "21", and it looks pretty stable and
well-maintained.
An interesting side-remark in the changelog is about CRaC:
https://wiki.openjdk.org/display/crac --- this will eventually provide
something like a "dumped heap image" as we are accustomed to in Poly/ML.
Welcome back to the old LISP Club, OpenJDK!
Makarius
More information about the isabelle-dev
mailing list