# HG changeset patch
# User wenzelm
# Date 1743945100 -7200
# Node ID 355122727f68268e1815a00fbc8d198b7118f421
# Parent  2aab65a687ec1a43587a1c24b2f7bcacc6eb5589
update to e-3.2, which is actually 3.2.5;
enforce rebuild of Isabelle/ML;

diff -r 2aab65a687ec -r 355122727f68 Admin/components/components.sha1
--- 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
diff -r 2aab65a687ec -r 355122727f68 Admin/components/main
--- 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
diff -r 2aab65a687ec -r 355122727f68 src/Pure/Admin/component_e.scala
--- 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(
diff -r 2aab65a687ec -r 355122727f68 src/Pure/ROOT.ML
--- 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.