src/Tools/try.ML

--- a/src/Tools/try.ML	Thu Oct 30 23:14:11 2014 +0100
+++ b/src/Tools/try.ML	Fri Oct 31 11:18:17 2014 +0100
@@ -27,16 +27,6 @@
 val tryN = "try"
 
 
-(* preferences *)
-
-val _ =
-  ProofGeneral.preference_option ProofGeneral.category_tracing
-    (SOME "4.0")
-    @{system_option auto_time_limit}
-    "auto-try-time-limit"
-    "Time limit for automatically tried tools (in seconds)"
-
-
 (* helpers *)
 
 fun serial_commas _ [] = ["??"]