author | blanchet |
Wed, 18 Apr 2012 10:53:27 +0200 | |
changeset 48400 | 5f35a95c0645 |
parent 48399 | a8c2cb501614 |
child 48401 | 9ad8c4315f92 |
1.1 --- a/src/HOL/Tools/Sledgehammer/async_manager.ML Tue Apr 17 23:22:40 2012 +0100 1.2 +++ b/src/HOL/Tools/Sledgehammer/async_manager.ML Wed Apr 18 10:53:27 2012 +0200 1.3 @@ -24,7 +24,7 @@ 1.4 (** preferences **) 1.5 1.6 val message_store_limit = 20; 1.7 -val message_display_limit = 5; 1.8 +val message_display_limit = 10; 1.9 1.10 1.11 (** thread management **)