Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
revert 06a05e098347 for the sake of Isabelle2025-1-RC0; Isabelle2025-1-RC0
authorwenzelm
Tue, 07 Oct 2025 11:51:15 +0200
changeset 83251 3deead057a16
parent 83250 b7b9bc7abfb9
child 83252 f36dce90e163
revert 06a05e098347 for the sake of Isabelle2025-1-RC0;
etc/settings file | annotate | diff | comparison | revisions
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Oct 06 20:56:16 2025 +0200
+++ b/etc/settings	Tue Oct 07 11:51:15 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 -Xmx8g -Xss16m"
+ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -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"
--- a/src/Pure/ROOT.ML	Mon Oct 06 20:56:16 2025 +0200
+++ b/src/Pure/ROOT.ML	Tue Oct 07 11:51:15 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       522d1260-49c4-4627-a3c2-e283f7810a94
+    UUID:       0b801365-9dc6-460b-b12b-fd4c28e63cf1
 
 Main entry point for the Isabelle/Pure bootstrap process.
isabelle