Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Update to jdk-17.0.5 (Oct-2022)

view this post on Zulip Email Gateway (Nov 25 2022 at 22:03):

From: Makarius <>
With Isabelle/f3ebb16b5785 we are on jdk-17.0.5: a routine update with many
small changes. See also


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC