| changeset 66160 | 33f759742887 |
| parent 66158 | ad83d4971dfe |
| child 66379 | 6392766f3c25 |
--- a/etc/options Wed Jun 21 22:04:20 2017 +0200 +++ b/etc/options Wed Jun 21 22:57:29 2017 +0200 @@ -76,7 +76,7 @@ option parallel_subproofs_threshold : real = 0.01 -- "lower bound of timing estimate for forked nested proofs (seconds)" -option command_timing_threshold : real = 0.01 +option command_timing_threshold : real = 0.1 -- "default threshold for persistent command timing (seconds)"