--- 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
--- 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
--- 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"
--- 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,
--- 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,
--- 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,
--- 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 */
--- 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,
--- 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.