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.
fixed
authorimmler@in.tum.de
Sun, 28 Jun 2009 15:01:28 +0200
changeset 31832 db3f00a39edd
parent 31824 28f5ed40ecab
child 31833 9ab1326ed98d
fixed
src/HOL/Tools/atp_wrapper.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/atp_wrapper.ML	Sat Jun 27 22:28:07 2009 +0200
+++ b/src/HOL/Tools/atp_wrapper.ML	Sun Jun 28 15:01:28 2009 +0200
@@ -146,7 +146,7 @@
                ("--output_syntax tptp --mode casc -t " ^ string_of_int timeout))
   timeout;
 
-val vampire_full = vampire_opts 60 false;
+val vampire_full = vampire_opts_full 60 false;
 
 
 (* E prover *)
isabelle