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.
update to e-3.0.03-1, with proper support for trivial statements;
authorwenzelm
Wed, 24 Apr 2024 20:41:35 +0200
changeset 80155 acfe36d6cb05
parent 80154 273a8fa8a44e
child 80156 70d69b081561
update to e-3.0.03-1, with proper support for trivial statements;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Apr 24 20:05:25 2024 +0200
+++ b/Admin/components/components.sha1	Wed Apr 24 20:41:35 2024 +0200
@@ -98,6 +98,7 @@
 813b66ca151d7a39b5cacb39ab52acabc2a54845 e-2.5.tar.gz
 6e63f9f354b8c06035952845b987080699a12d55 e-2.6-1.tar.gz
 a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
+8744880925dbc95c3977f58b7d6da64a3bd6de6a e-3.0.03-1.tar.gz
 230d01c2c7274a17b6410535eb41665b16b41ae6 e-3.0.03.tar.gz
 239e7b8bebbfc29a1c5151e8fb261ffad44877f1 easychair-3.5.tar.gz
 4a3b4b4e0441c4498a0c71dc348f3538be589a15 eptcs-1.7.0.tar.gz
--- a/Admin/components/main	Wed Apr 24 20:05:25 2024 +0200
+++ b/Admin/components/main	Wed Apr 24 20:41:35 2024 +0200
@@ -4,7 +4,7 @@
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
-e-3.0.03
+e-3.0.03-1
 easychair-3.5
 eptcs-1.7.0
 flatlaf-2.6
isabelle