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.
2 provers
authorimmler@in.tum.de
Wed, 21 Jan 2009 15:22:51 +0100
changeset 29598 ba7e19085fc5
parent 29597 0f4f36779ca7
child 29599 c369feeb6bbc
2 provers
src/HOL/Tools/atp_manager.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/atp_manager.ML	Wed Jan 21 14:57:33 2009 +0100
+++ b/src/HOL/Tools/atp_manager.ML	Wed Jan 21 15:22:51 2009 +0100
@@ -35,7 +35,7 @@
 
 local
 
-val atps = ref "e remote_e remote_vampire remote_spass";
+val atps = ref "e remote_vampire";
 val max_atps = ref 5;   (* ~1 means infinite number of atps *)
 val timeout = ref 100;
isabelle