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.
no need for TPTP
authorblanchet
Wed, 15 Sep 2010 15:44:44 +0200
changeset 39410 a055cffcf6fc
parent 39409 782477d78f63
child 39411 ec989bd98fc8
no need for TPTP
src/Tools/Metis/FILES file | annotate | diff | comparison | revisions 
--- a/src/Tools/Metis/FILES	Wed Sep 15 15:44:24 2010 +0200
+++ b/src/Tools/Metis/FILES	Wed Sep 15 15:44:44 2010 +0200
@@ -37,4 +37,3 @@
 Active.sig Active.sml
 Waiting.sig Waiting.sml
 Resolution.sig Resolution.sml
-Tptp.sig Tptp.sml
isabelle