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.
fewer TPTP important messages
authorblanchet
Fri, 02 Sep 2011 14:43:20 +0200
changeset 44649 3d7b737d200a
parent 44648 897f32a827f2
child 44650 dbdfadbd3829
fewer TPTP important messages
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Thu Sep 01 10:41:19 2011 -0700
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Fri Sep 02 14:43:20 2011 +0200
@@ -505,7 +505,7 @@
 
 (* Important messages are important but not so important that users want to see
    them each time. *)
-val atp_important_message_keep_quotient = 10
+val atp_important_message_keep_quotient = 25
 
 fun choose_type_enc soundness best_type_enc format =
   the_default best_type_enc
isabelle