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.
tweak TPTP Nitpick's output
authorblanchet
Wed, 25 Apr 2012 14:33:21 +0200
changeset 47755 df437d1bf8db
parent 47754 11b4395aaf0c
child 47756 7b2836a43cc9
tweak TPTP Nitpick's output
src/HOL/TPTP/atp_problem_import.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/TPTP/atp_problem_import.ML	Wed Apr 25 14:33:21 2012 +0200
+++ b/src/HOL/TPTP/atp_problem_import.ML	Wed Apr 25 14:33:21 2012 +0200
@@ -73,11 +73,13 @@
        ("max_threads", "1"),
        ("batch_size", "10"),
        ("falsify", if null conjs then "false" else "true"),
-       (* ("debug", "true"), *)
        ("verbose", "true"),
-       (* ("overlord", "true"), *)
+(*
+       ("debug", "true"),
+       ("overlord", "true"),
+*)
        ("show_consts", "true"),
-       ("format", "1000"),
+       ("format", "1"),
        ("max_potential", "0"),
        ("timeout", string_of_int timeout),
        ("tac_timeout", string_of_int ((timeout + 49) div 50))]
isabelle