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 <makarius@sketis.net>
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
https://docs.azul.com/core/zulu-openjdk/release-notes/april-2023

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

Makarius

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

Last updated: Apr 28 2024 at 16:17 UTC