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.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
authorwenzelm
Fri, 08 Mar 2024 10:57:59 +0100
changeset 79808 5dd2a771811e
parent 79807 afb26a1dea71
child 79809 80a30835f48f
activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Thu Mar 07 23:58:01 2024 +0100
+++ b/Admin/components/main	Fri Mar 08 10:57:59 2024 +0100
@@ -4,7 +4,7 @@
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
-e-2.6-1
+e-3.0.03
 easychair-3.5
 eptcs-1.7.0
 flatlaf-2.6
isabelle