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.
updated to vampire-4.8;
authorwenzelm
Wed, 25 Oct 2023 17:06:21 +0200
changeset 78826 4183cbe41d24
parent 78825 a83fd469d48d
child 78827 06f0e720b913
child 78836 dd350a41594c
updated to vampire-4.8;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Oct 25 13:51:51 2023 +0200
+++ b/Admin/components/components.sha1	Wed Oct 25 17:06:21 2023 +0200
@@ -506,6 +506,7 @@
 0402978ca952f08eea73e483b694928ac402a304 vampire-4.5.1-1.tar.gz
 26d9d171e169c6420a08aa99eda03ef5abb9c545 vampire-4.5.1.tar.gz
 4571c042efd6fc3097e105a528826959acd888a3 vampire-4.6.tar.gz
+150e2744c11582f681433a493aa2a7ab17cd511b vampire-4.8.tar.gz
 98c5c79fef7256db9f64c8feea2edef0a789ce46 verit-2016post.tar.gz
 52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d verit-2020.10-rmx-1.tar.gz
 b6706e74e20e14038e9b38f0acdb5639a134246a verit-2020.10-rmx.tar.gz
--- a/Admin/components/main	Wed Oct 25 13:51:51 2023 +0200
+++ b/Admin/components/main	Wed Oct 25 17:06:21 2023 +0200
@@ -34,7 +34,7 @@
 spass-3.8ds-2
 sqlite-jdbc-3.42.0.0-1
 stack-2.13.1
-vampire-4.6
+vampire-4.8
 verit-2021.06.2-rmx
 vscode_extension-20230206
 vscodium-1.70.1
isabelle