# HG changeset patch
# User wenzelm
# Date 1761161981 -7200
# Node ID d106285f2d7ba12ed86c20703c980e2eae353219
# Parent  ca52f4c73edb9701d9711787b2232c56851c6ee8# Parent  b87ea73f8606b12434fc5a927b835c26bb60f914
merged

diff -r ca52f4c73edb -r d106285f2d7b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 22 18:29:11 2025 +0100
+++ b/Admin/components/components.sha1	Wed Oct 22 21:39:41 2025 +0200
@@ -134,6 +134,7 @@
 7de5b13afd4d9ac09e4d591b63c1979b9276e4f6 flatlaf-3.6-1.tar.gz
 372ac19c1783af818591c379e1646a3fc1fbbfc2 flatlaf-3.6-2.tar.gz
 4fb3a47f1f4de350bbe330a9c9d185fbde3f3d87 flatlaf-3.6.1.tar.gz
+564f917b46e89ab7f7c37123ef527ad323bed89a flatlaf-3.6.2.tar.gz
 1363421c87dd24bbff318e37c4788ba0339db7ad flatlaf-3.6.tar.gz
 b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
@@ -346,6 +347,7 @@
 df8bb213d39a7eecae97e6af3b11752d6c704c90 jsoup-1.15.4.tar.gz
 b1c8e2a289e40cbc139a3c371348cef3b537b1c7 jsoup-1.17.2.tar.gz
 342f12a07889ec173b13df9327db684b45118252 jsoup-1.18.3.tar.gz
+4bd40bf5be0865cf10cd51b22ce6f92f0ac97992 jsoup-1.21.2.tar.gz
 a7419f9dab68e50d05533980b6729d1dd7aafb3b jsvg-1.7.1.tar.gz
 1fa4ecbd91f286728caa6540c1d5477ccdf8b1ed jsvg-2.0.0.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
@@ -362,6 +364,7 @@
 759848095e2ad506083d92b5646947e3c32f27a0 linux_app-20191223.tar.gz
 1a449ce69ac874e21804595d16aaaf5a0d0d0c10 linux_app-20200110.tar.gz
 5557b396f5a9aa22388d3e2171f9bc58e4bd6cd7 lipics-3.1.2.tar.gz
+433372c6427a4323d9c7c26fbeb59f3568021b5f lipics-3.1.3-1.tar.gz
 881741f6e7192fd03835b542b1db820daf0ae79c lipics-3.1.3.tar.gz
 71b6a272d10c53bb54cba23102e15334ec39bfce llncs-2.22.tar.gz
 29aa7179fbd02c528ac61df6e2e8512175093e35 llncs-2.23.tar.gz
@@ -511,6 +514,7 @@
 6393156f24d911c8f9f242612aec2563514ceb59 postgresql-42.7.4.tar.gz
 ac7b66661335d97bf714a1721febacc11396b837 postgresql-42.7.5.tar.gz
 f876d35cf3d41430fb92c8074a0de94b2d57f27c postgresql-42.7.7.tar.gz
+dc2ea06a01d4bec50fb378840dba64b0c33c3bb9 postgresql-42.7.8.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
@@ -678,3 +682,4 @@
 d787fd0d0ee1827b6fc4d6288363f922770490e0 zstd-jni-1.5.5-4.tar.gz
 43c9fc08e3de346292d591df8098d99a56dba1a3 zstd-jni-1.5.6-8.tar.gz
 a9d309500ff9600e8c3110f7e7edc47691de7877 zstd-jni-1.5.7-4.tar.gz
+ec381c91541be4f1c9440c115363fd657b474df3 zstd-jni-1.5.7-6.tar.gz
diff -r ca52f4c73edb -r d106285f2d7b Admin/components/main
--- a/Admin/components/main	Wed Oct 22 18:29:11 2025 +0100
+++ b/Admin/components/main	Wed Oct 22 21:39:41 2025 +0200
@@ -9,7 +9,7 @@
 easychair-3.5
 eptcs-1.7.0
 find_facts_web-20251022
-flatlaf-3.6.1
+flatlaf-3.6.2
 foiltex-2.1.4b
 isabelle_fonts-20241227
 isabelle_setup-20250613
@@ -18,10 +18,10 @@
 jedit-20250825
 jfreechart-1.5.3
 jortho-1.0-2
-jsoup-1.18.3
+jsoup-1.21.2
 jsvg-2.0.0
 kodkodi-1.5.7
-lipics-3.1.3
+lipics-3.1.3-1
 llncs-2.25
 minisat-2.2.1-2
 mlton-20241230-1
@@ -29,7 +29,7 @@
 opam-2.0.7
 pdfjs-5.4.149
 polyml-5.9.2-1
-postgresql-42.7.7
+postgresql-42.7.8
 prismjs-1.29.0
 rsync-3.2.7-1
 scala-3.3.4
@@ -45,4 +45,4 @@
 xz-java-1.10
 z3-4.4.0pre-4
 zipperposition-2.1-1
-zstd-jni-1.5.7-4
+zstd-jni-1.5.7-6
diff -r ca52f4c73edb -r d106285f2d7b etc/settings
--- a/etc/settings	Wed Oct 22 18:29:11 2025 +0100
+++ b/etc/settings	Wed Oct 22 21:39:41 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 -Xmx6g -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"
diff -r ca52f4c73edb -r d106285f2d7b src/Pure/Admin/component_flatlaf.scala
--- a/src/Pure/Admin/component_flatlaf.scala	Wed Oct 22 18:29:11 2025 +0100
+++ b/src/Pure/Admin/component_flatlaf.scala	Wed Oct 22 21:39:41 2025 +0200
@@ -32,7 +32,7 @@
   /* build flatlaf */
 
   val default_download_url = "https://repo1.maven.org/maven2/com/formdev"
-  val default_version = "3.6.1"
+  val default_version = "3.6.2"
 
   def build_flatlaf(
     target_dir: Path = Path.current,
diff -r ca52f4c73edb -r d106285f2d7b src/Pure/Admin/component_jsoup.scala
--- a/src/Pure/Admin/component_jsoup.scala	Wed Oct 22 18:29:11 2025 +0100
+++ b/src/Pure/Admin/component_jsoup.scala	Wed Oct 22 21:39:41 2025 +0200
@@ -11,7 +11,7 @@
   /* build jsoup */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.18.3/jsoup-1.18.3.jar"
+    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.21.2/jsoup-1.21.2.jar"
 
   def build_jsoup(
     download_url: String = default_download_url,
diff -r ca52f4c73edb -r d106285f2d7b src/Pure/Admin/component_lipics.scala
--- a/src/Pure/Admin/component_lipics.scala	Wed Oct 22 18:29:11 2025 +0100
+++ b/src/Pure/Admin/component_lipics.scala	Wed Oct 22 21:39:41 2025 +0200
@@ -23,7 +23,7 @@
 
   /* build lipics component */
 
-  val default_url = "https://github.com/dagstuhl-publishing/styles/archive/refs/tags/v2021.1.3.tar.gz"
+  val default_url = "https://github.com/dagstuhl-publishing/styles/archive/refs/tags/v2021.2.3.tar.gz"
 
   def build_lipics(
     download_url: String = default_url,
diff -r ca52f4c73edb -r d106285f2d7b src/Pure/Admin/component_postgresql.scala
--- a/src/Pure/Admin/component_postgresql.scala	Wed Oct 22 18:29:11 2025 +0100
+++ b/src/Pure/Admin/component_postgresql.scala	Wed Oct 22 21:39:41 2025 +0200
@@ -13,7 +13,7 @@
   val notable_urls =
     List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download")
 
-  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.7.jar"
+  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.8.jar"
 
 
   /* build postgresql */
diff -r ca52f4c73edb -r d106285f2d7b src/Pure/Admin/component_zstd.scala
--- a/src/Pure/Admin/component_zstd.scala	Wed Oct 22 18:29:11 2025 +0100
+++ b/src/Pure/Admin/component_zstd.scala	Wed Oct 22 21:39:41 2025 +0200
@@ -32,7 +32,7 @@
 
   val license_url = "https://raw.githubusercontent.com/luben/zstd-jni/master/LICENSE"
   val default_download_url = "https://repo1.maven.org/maven2/com/github/luben/zstd-jni"
-  val default_version = "1.5.7-4"
+  val default_version = "1.5.7-6"
 
   def build_zstd(
     target_dir: Path = Path.current,
diff -r ca52f4c73edb -r d106285f2d7b src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed Oct 22 18:29:11 2025 +0100
+++ b/src/Pure/ROOT.ML	Wed Oct 22 21:39:41 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       803d34e8-3745-40e6-b29a-5f816520fcd5
+    UUID:       1613ca57-4e91-4ae9-a70b-142587a8c87a
 
 Main entry point for the Isabelle/Pure bootstrap process.