Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/try0.ML
changeset 62984 61b32a6d87e9
parent 62969 9f394a16c557
child 63518 ae8fd6fe63a1 
--- a/src/HOL/Tools/try0.ML	Thu Apr 14 16:59:47 2016 +0200
+++ b/src/HOL/Tools/try0.ML	Thu Apr 14 17:03:55 2016 +0200
@@ -108,6 +108,7 @@
   Config.put Metis_Tactic.verbose debug
   #> not debug ? (fn ctxt =>
       ctxt
+      |> Simplifier_Trace.disable
       |> Context_Position.set_visible false
       |> Config.put Unify.trace_bound (Config.get ctxt Unify.search_bound)
       |> Proof_Context.background_theory (fn thy =>
isabelle