| changeset 59753 | d743e0e53f41 |
| parent 57659 | b246943b3aa3 |
| child 59960 | 372ddff01244 |
--- a/src/HOL/Tools/etc/options Thu Mar 19 12:36:55 2015 +0100 +++ b/src/HOL/Tools/etc/options Thu Mar 19 15:24:40 2015 +0100 @@ -1,6 +1,6 @@ (* :mode=isabelle-options: *) -section {* Automatically tried tools *} +section "Automatically tried tools" public option auto_time_start : real = 1.0 -- "initial delay for automatically tried tools (seconds)"