etc/options
changeset 62793 f235646b1b73
parent 62790 0c526d2fb609
child 62794 c4fa2b381591
     1.1 --- a/etc/options	Fri Apr 01 16:32:20 2016 +0200
     1.2 +++ b/etc/options	Fri Apr 01 17:00:18 2016 +0200
     1.3 @@ -76,6 +76,9 @@
     1.4  option parallel_subproofs_threshold : real = 0.01
     1.5    -- "lower bound of timing estimate for forked nested proofs (seconds)"
     1.6  
     1.7 +option command_timing_threshold : real = 0.1
     1.8 +  -- "default threshold for persistent command timing (seconds)"
     1.9 +
    1.10  
    1.11  section "Detail of Proof Checking"
    1.12