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.
display more messages, now that more provers are run by default
authorblanchet
Wed, 18 Apr 2012 10:53:27 +0200
changeset 47529 5f35a95c0645
parent 47528 a8c2cb501614
child 47530 9ad8c4315f92
display more messages, now that more provers are run by default
src/HOL/Tools/Sledgehammer/async_manager.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/async_manager.ML	Tue Apr 17 23:22:40 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/async_manager.ML	Wed Apr 18 10:53:27 2012 +0200
@@ -24,7 +24,7 @@
 (** preferences **)
 
 val message_store_limit = 20;
-val message_display_limit = 5;
+val message_display_limit = 10;
 
 
 (** thread management **)
isabelle