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.
tuning
authorblanchet
Sun, 05 Feb 2012 12:27:10 +0100
changeset 46426 fd15abc50fc1
parent 46425 0a37c1e52c91
child 46427 4fd25dadbd94
tuning
src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Sun Feb 05 11:14:25 2012 +0100
+++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Sun Feb 05 12:27:10 2012 +0100
@@ -390,7 +390,6 @@
            ("strict", strict),
            ("lam_trans", lam_trans |> the_default "smart"),
            ("uncurried_aliases", uncurried_aliases |> the_default "smart"),
-           ("preplay_timeout", preplay_timeout),
            ("max_relevant", max_relevant),
            ("slice", slice),
            ("timeout", string_of_int timeout),
isabelle