author | blanchet |
Sat, 11 Sep 2010 16:19:32 +0200 | |
changeset 39330 | 46c06182b1e3 |
parent 39329 | 0a85f960ac50 |
child 39331 | 8b1969d603c0 |
--- 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