diff -r 340428bebdb8 -r f235646b1b73 etc/options
--- a/etc/options	Fri Apr 01 16:32:20 2016 +0200
+++ b/etc/options	Fri Apr 01 17:00:18 2016 +0200
@@ -76,6 +76,9 @@
 option parallel_subproofs_threshold : real = 0.01
   -- "lower bound of timing estimate for forked nested proofs (seconds)"
 
+option command_timing_threshold : real = 0.1
+  -- "default threshold for persistent command timing (seconds)"
+
 
 section "Detail of Proof Checking"