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.
relevance filter with the same parameters for remote-versions
authorimmler@in.tum.de
Sun, 28 Jun 2009 15:01:28 +0200
changeset 31834 b7f1e86d9f04
parent 31833 9ab1326ed98d
child 31835 b686d4df54c2
relevance filter with the same parameters for remote-versions
src/HOL/ATP_Linkup.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ATP_Linkup.thy	Sun Jun 28 15:01:28 2009 +0200
+++ b/src/HOL/ATP_Linkup.thy	Sun Jun 28 15:01:28 2009 +0200
@@ -115,11 +115,11 @@
 
 text {* remote provers via SystemOnTPTP *}
 setup {* AtpManager.add_prover "remote_vampire"
-  (AtpWrapper.remote_prover "-s Vampire---9.0") *}
+  (AtpWrapper.remote_prover_opts 60 false "-s Vampire---9.0") *}
 setup {* AtpManager.add_prover "remote_spass"
-  (AtpWrapper.remote_prover "-xs SPASS---3.01") *}
+  (AtpWrapper.remote_prover_opts 40 true "-xs SPASS---3.01") *}
 setup {* AtpManager.add_prover "remote_e"
-  (AtpWrapper.remote_prover "-s EP---1.0") *}
+  (AtpWrapper.remote_prover_opts 100 false "-s EP---1.0") *}
isabelle