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