src/Tools/try.ML

--- a/src/Tools/try.ML	Sat Jul 13 13:58:13 2013 +0200
+++ b/src/Tools/try.ML	Sat Jul 13 14:11:48 2013 +0200
@@ -31,7 +31,7 @@
 
 val _ =
   ProofGeneral.preference_option ProofGeneral.category_tracing
-    NONE
+    (SOME "4.0")
     @{option auto_time_limit}
     "auto-try-time-limit"
     "Time limit for automatically tried tools (in seconds)"