# HG changeset patch
# User wenzelm
# Date 1759836056 -7200
# Node ID 10458e80b4a9a42741809d24b69e15ad83f25bfd
# Parent  f36dce90e163233c7c64f8736b3dd9e4ad4edea1
revert 3deead057a16 for the sake of isabelle-dev;

diff -r f36dce90e163 -r 10458e80b4a9 etc/settings
--- a/etc/settings	Tue Oct 07 11:54:49 2025 +0200
+++ b/etc/settings	Tue Oct 07 13:20:56 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 f36dce90e163 -r 10458e80b4a9 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Oct 07 11:54:49 2025 +0200
+++ b/src/Pure/ROOT.ML	Tue Oct 07 13:20:56 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.