| changeset 47529 | 5f35a95c0645 |
| parent 45573 | 22d003b5b32e |
| child 47945 | 4073e51293cf |
--- 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 **)