etc/options
changeset 50698 49621c755075
parent 50697 82e9178e6a98
child 51044 890f502f0e89
     1.1 --- a/etc/options	Thu Jan 03 13:54:45 2013 +0100
     1.2 +++ b/etc/options	Thu Jan 03 14:03:44 2013 +0100
     1.3 @@ -53,8 +53,6 @@
     1.4    -- "level of parallel proof checking: 0, 1, 2"
     1.5  option parallel_proofs_threshold : int = 100
     1.6    -- "threshold for sub-proof parallelization"
     1.7 -option ML_statistics : bool = false
     1.8 -  -- "ML runtime statistics of parallel execution environment"
     1.9  
    1.10  
    1.11  section "Detail of Proof Recording"