--- a/etc/options Sun Aug 25 14:35:25 2013 +0200
+++ b/etc/options Sun Aug 25 16:03:12 2013 +0200
@@ -71,8 +71,6 @@
-- "level of tracing information for multithreading"
public option parallel_proofs : int = 2
-- "level of parallel proof checking: 0, 1, 2"
-option parallel_subproofs_saturation : int = 100
- -- "upper bound for forks of nested proofs (multiplied by worker threads)"
option parallel_subproofs_threshold : real = 0.01
-- "lower bound of timing estimate for forked nested proofs (seconds)"