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 <makarius@sketis.net>
With Isabelle/f3ebb16b5785 we are on jdk-17.0.5: a routine update with many
small changes. See also
https://docs.azul.com/core/zulu-openjdk/release-notes/october-2022

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC