From: Makarius <makarius@sketis.net>
With Isabelle/79635df97a90 we are at current jdk-17.0.2+8 "PSU" from 18-Jan-2022.
It could be called a "Proforma Seasonal Update", although PSU officially means
"Patch Set Updates".
Further details are in
https://docs.azul.com/core/zulu-openjdk/release-notes/january-2022 although I
did not spot anything special in this long list of accumulated changes.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Jan 05 2025 at 20:18 UTC