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.
lower timeout for preplay, now that we have more preplay methods
authorblanchet
Thu, 19 Jan 2012 21:37:12 +0100
changeset 46297 0a4907baf9db
parent 46296 860b7803c4fa
child 46298 e9a2d81fa725
lower timeout for preplay, now that we have more preplay methods
src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Thu Jan 19 21:37:12 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Thu Jan 19 21:37:12 2012 +0100
@@ -97,7 +97,7 @@
    ("isar_shrink_factor", "1"),
    ("slice", "true"),
    ("minimize", "smart"),
-   ("preplay_timeout", "4")]
+   ("preplay_timeout", "3")]
 
 val alias_params =
   [("prover", "provers")]
isabelle