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.
more silence;
authorwenzelm
Thu, 14 Apr 2016 17:03:55 +0200
changeset 62984 61b32a6d87e9
parent 62983 ba9072b303a2
child 62985 4be23c432491
more silence;
src/HOL/Tools/try0.ML file | annotate | diff | comparison | revisions 
--- 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