Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] jdk-17.0.2+8

view this post on Zulip Email Gateway (Jan 21 2022 at 18:25):

From: Makarius <>
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 although I
did not spot anything special in this long list of accumulated changes.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC