diff -r 4cf6fbf1d9a1 -r 5adb5c69af97 src/HOL/Tools/etc/options
--- a/src/HOL/Tools/etc/options	Sat Jul 13 18:13:09 2013 +0200
+++ b/src/HOL/Tools/etc/options	Sat Jul 13 18:33:33 2013 +0200
@@ -1,6 +1,9 @@
 (* :mode=isabelle-options: *)
 
-section {* Isabelle/HOL proof tools *}
+section {* Automatically tried tools *}
+
+public option auto_time_start : real = 1.0
+  -- "initial delay for automatically tried tools (seconds)"
 
 public option auto_time_limit : real = 2.0
   -- "time limit for automatically tried tools (seconds > 0)"