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.
obsolete (see 3ee6947bfb34);
authorwenzelm
Sun, 02 Dec 2018 14:11:34 +0100
changeset 69386 7bcad752857d
parent 69385 be9f187dcd50
child 69387 ff9095c91e87
obsolete (see 3ee6947bfb34);
Admin/components/nonfree file | annotate | diff | comparison | revisions 
--- a/Admin/components/nonfree	Sun Dec 02 13:29:40 2018 +0100
+++ b/Admin/components/nonfree	Sun Dec 02 14:11:34 2018 +0100
@@ -1,3 +1,2 @@
 #special components for internal testing only
-vampire-1.0
 yices-1.0.28
isabelle