[isabelle-dev] Java 17 LTS

Makarius makarius at sketis.net
Wed Sep 22 23:05:22 CEST 2021

Official Java 17 LTS has been released on 15-Sep-2021, see also

Isabelle/2a3fe3489bae uses the corresponding jdk-17+35 component. So far it
looks good (for Linux, Windows, macOS), but there might be some fine points
still to be addressed.

One such fine point is the bootstrap of old components in
Isabelle/41d009462d3c: both launch4j and jedit require the old Java 11 LTS
release, but end-users should not notice anything.


More information about the isabelle-dev mailing list