| changeset 82309 | 1a4be2516f50 |
| parent 82152 | 3312ca0f3915 |
| child 82614 | 6a2808a48c51 |
--- a/etc/settings Wed Mar 19 22:18:52 2025 +0000 +++ b/etc/settings Thu Mar 20 12:39:47 2025 +0100 @@ -12,7 +12,7 @@ ### Isabelle/Scala ### -ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" +ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -XX:+UseZGC -XX:+ZGenerational" ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"