# HG changeset patch
# User wenzelm
# Date 1733915067 -3600
# Node ID 8a360893360759efbe462e422c86226d7b29746b
# Parent  2e7073976c252a25ded1263ade88eb488fd1ab9a
activate e-3.1 as proposed by Martin Desharnais;
enforce rebuild of Isabelle/ML;

diff -r 2e7073976c25 -r 8a3608933607 Admin/components/main
--- a/Admin/components/main	Wed Dec 11 12:03:01 2024 +0100
+++ b/Admin/components/main	Wed Dec 11 12:04:27 2024 +0100
@@ -4,7 +4,7 @@
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
-e-3.0.03-1
+e-3.1
 easychair-3.5
 eptcs-1.7.0
 flatlaf-2.6
diff -r 2e7073976c25 -r 8a3608933607 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed Dec 11 12:03:01 2024 +0100
+++ b/src/Pure/ROOT.ML	Wed Dec 11 12:04:27 2024 +0100
@@ -373,4 +373,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-