changeset 39330 | 46c06182b1e3 |
parent 39324 | 05452dd66b2b |
child 40931 | 061b8257ab9f |
--- a/src/Tools/auto_tools.ML Sat Sep 11 12:32:31 2010 +0200 +++ b/src/Tools/auto_tools.ML Sat Sep 11 16:19:32 2010 +0200 @@ -17,7 +17,7 @@ (* preferences *) -val time_limit = Unsynchronized.ref 2500 +val time_limit = Unsynchronized.ref 4000 val _ = ProofGeneralPgip.add_preference Preferences.category_tracing