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 74792 87718883c8b9
parent 74788 95e514137861
child 74796 796ae338eb9d 
--- a/Admin/components/main	Mon Nov 15 18:04:07 2021 +0100
+++ b/Admin/components/main	Mon Nov 15 23:51:41 2021 +0100
@@ -28,5 +28,5 @@
 vampire-4.6
 verit-2021.06.1-rmx
 xz-java-1.9
-z3-4.4.0pre-3
+z3-4.4.1
 zipperposition-2.1-1
isabelle