# HG changeset patch
# User wenzelm
# Date 1459523620 -7200
# Node ID c4fa2b38159120811285eb2fb0bd693b258e41b6
# Parent  f235646b1b7380c04851098beb42590bfb5dd227
lower threshold -- command timing for proofs is cumulative, e.g. HOL 672 ~> 8889;

diff -r f235646b1b73 -r c4fa2b381591 etc/options
--- a/etc/options	Fri Apr 01 17:00:18 2016 +0200
+++ b/etc/options	Fri Apr 01 17:13:40 2016 +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.1
+option command_timing_threshold : real = 0.01
   -- "default threshold for persistent command timing (seconds)"