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 72969 5bc7fd5379ef
parent 72791 b79755daf0ad
child 72970 06e5ba0d1d2c 
--- a/Admin/components/main	Mon Dec 21 08:15:45 2020 +0100
+++ b/Admin/components/main	Mon Dec 21 12:51:28 2020 +0100
@@ -24,3 +24,4 @@
 xz-java-1.8
 verit-2020.10-rmx-1
 z3-4.4.0pre-3
+zipperposition-2.0
isabelle