Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Update to jdk-17.0.7

view this post on Zulip Email Gateway (May 09 2023 at 21:51):

From: Makarius <>
With Isabelle/896e255d4fc4 we are on jdk-17.0.7. This is a routine update from
the OpenJDK project with a lot of minor changes, see also

Usually such OpenJDK updates are rock-solid and no problems to be expected.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC