--- a/Admin/components/components.sha1 Sat Apr 05 23:51:52 2025 +0200
+++ b/Admin/components/components.sha1 Sun Apr 06 15:11:40 2025 +0200
@@ -105,6 +105,7 @@
230d01c2c7274a17b6410535eb41665b16b41ae6 e-3.0.03.tar.gz
e4a617aed36c32125aeeee3efea0eeff8c979481 e-3.1-1.tar.gz
4e436e450775bd971b3247c97d4bba7943ae4762 e-3.1.tar.gz
+e3d287ba174f63602195a8f1ce075bd21bbdf39b e-3.2.tar.gz
239e7b8bebbfc29a1c5151e8fb261ffad44877f1 easychair-3.5.tar.gz
ea721f9a8a84831313a1b669db76f4ca55794f01 elm-0.19.1.tar.gz
4a3b4b4e0441c4498a0c71dc348f3538be589a15 eptcs-1.7.0.tar.gz
--- a/Admin/components/main Sat Apr 05 23:51:52 2025 +0200
+++ b/Admin/components/main Sun Apr 06 15:11:40 2025 +0200
@@ -4,7 +4,7 @@
bib2xhtml-20190409
csdp-6.1.1
cvc5-1.2.0-1
-e-3.1-1
+e-3.2
elm-0.19.1
easychair-3.5
eptcs-1.7.0
--- a/src/Pure/Admin/component_e.scala Sat Apr 05 23:51:52 2025 +0200
+++ b/src/Pure/Admin/component_e.scala Sun Apr 06 15:11:40 2025 +0200
@@ -10,7 +10,7 @@
object Component_E {
/* build E prover */
- val default_version = "3.1"
+ val default_version = "3.2"
val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
def build_e(
--- a/src/Pure/ROOT.ML Sat Apr 05 23:51:52 2025 +0200
+++ b/src/Pure/ROOT.ML Sun Apr 06 15:11:40 2025 +0200
@@ -1,6 +1,6 @@
(* Title: Pure/ROOT.ML
Author: Makarius
- UUID: 619a7a37-9241-410f-82a1-be35d8c9e937
+ UUID: afd90a19-201a-461b-b4ef-b3adfa88969d
Main entry point for the Isabelle/Pure bootstrap process.