Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
activate e-3.1 as proposed by Martin Desharnais;
authorwenzelm
Wed, 11 Dec 2024 12:04:27 +0100
changeset 81581 8a3608933607
parent 81580 2e7073976c25
child 81582 c3190d0b068c
child 81610 ed9ffd8e9e40
child 81677 ecd675295620
activate e-3.1 as proposed by Martin Desharnais; enforce rebuild of Isabelle/ML;
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- 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
--- 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";
-
isabelle