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 74796 796ae338eb9d
parent 74792 87718883c8b9
child 74819 ed3adabf0dbe 
--- a/Admin/components/main	Tue Nov 16 17:57:52 2021 +0100
+++ b/Admin/components/main	Tue Nov 16 18:45:02 2021 +0100
@@ -28,5 +28,5 @@
 vampire-4.6
 verit-2021.06.1-rmx
 xz-java-1.9
-z3-4.4.1
+z3-4.4.0_4.4.1
 zipperposition-2.1-1
isabelle