# HG changeset patch
# User wenzelm
# Date 1758831991 -7200
# Node ID 06a05e0983476e58ce94c27e5477f67b5de03bd4
# Parent  655a15fa86dced2efb9c947935828d0e8b3ae89d
more Java heap space for the sake of Isabelle/AFP cluster build stability, but this is better changed elsewhere;
enforce rebuild of Isabelle/ML;

diff -r 655a15fa86dc -r 06a05e098347 etc/settings
--- a/etc/settings	Wed Sep 24 23:06:22 2025 +0200
+++ b/etc/settings	Thu Sep 25 22:26:31 2025 +0200
@@ -14,7 +14,7 @@
 
 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -XX:+UseZGC -XX:+ZGenerational -XX:+UseStringDeduplication"
 
-ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
+ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx8g -Xss16m"
 
 ISABELLE_JAVAC_OPTIONS="-encoding UTF-8 -Xlint:-options -deprecation -source 21 -target 21"
 ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -feature -java-output-version 21 -source 3.3 -old-syntax -no-indent -color never -pagewidth 78 -J-Xms512m -J-Xmx4g -J-Xss16m"
diff -r 655a15fa86dc -r 06a05e098347 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed Sep 24 23:06:22 2025 +0200
+++ b/src/Pure/ROOT.ML	Thu Sep 25 22:26:31 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       0b801365-9dc6-460b-b12b-fd4c28e63cf1
+    UUID:       522d1260-49c4-4627-a3c2-e283f7810a94
 
 Main entry point for the Isabelle/Pure bootstrap process.