Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
changeset 74314 c645d973f881
parent 74311 19022ea3f8cc
child 74354 4f5e67b247e1 
--- a/Admin/components/main	Wed Sep 15 16:13:25 2021 +0200
+++ b/Admin/components/main	Wed Sep 15 19:46:03 2021 +0200
@@ -25,6 +25,7 @@
 sqlite-jdbc-3.34.0
 ssh-java-20190323
 stack-2.7.3
+vampire-4.5.1
 verit-2020.10-rmx-1
 xz-java-1.8
 z3-4.4.0pre-3
isabelle