# HG changeset patch
# User blanchet
# Date 1334739207 -7200
# Node ID 5f35a95c0645fc9ad466e7c27999b100bab3e8c9
# Parent  a8c2cb501614b2020cc9fb6e28ee075966b6faa4
display more messages, now that more provers are run by default

diff -r a8c2cb501614 -r 5f35a95c0645 src/HOL/Tools/Sledgehammer/async_manager.ML
--- 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 **)