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.
disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
authorwenzelm
Thu, 15 Oct 2020 14:31:55 +0200
changeset 72480 b772a93d44aa
parent 72479 7d0861af3cb0
child 72481 5bf00b1dd7d8
disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Thu Oct 15 13:47:55 2020 +0200
+++ b/Admin/components/main	Thu Oct 15 14:31:55 2020 +0200
@@ -21,6 +21,5 @@
 ssh-java-20190323
 stack-2.1.3
 vampire-4.2.2
-verit-2020.10-rmx-1
 xz-java-1.8
 z3-4.4.0pre-3
isabelle