Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Update to OpenJDK 21

view this post on Zulip Email Gateway (Nov 20 2023 at 21:24):

From: Makarius <>
* System *

This refers to Isabelle/4fb5e6499da9.

Official release-notes:

A quick test looks good so far.

Moreover, it might be time to change a few fundamental Java runtime defaults,
e.g. ZGC


isabelle-dev mailing list

view this post on Zulip Email Gateway (Nov 24 2023 at 21:21):

From: Makarius <>
My overall impression is that ZGC requires more heap space (due to full 64bit
pointers) and cumulatively more GC time. At that cost it promises better

Here is an example for $ISABELLE_HOME_USER/etc/settings for further

JEDIT_JAVA_OPTIONS="-Xms512m -Xmx8g -Xss16m -XX:+UseZGC -XX:+ZGenerational


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC