[isabelle-dev] Update to OpenJDK 21.0.2

Makarius makarius at sketis.net
Wed Jan 24 23:32:46 CET 2024

With Isabelle/667cb8b79909 we are on OpenJDK 21.0.2, see also the "January 
2024 Quarterly Update Release Notes" from Azul: 

There are many small changes: relevant for us is anything tagged "21" and "PSU".

I am very glad that Isabelle has only one linear timeline of official 
releases, and no "patches" for older releases (and no "branches" whatsoever). 
Thus we can spare several orders of magnitude of resources for maintenance and 


More information about the isabelle-dev mailing list