--- a/etc/options Sat Jul 20 16:16:23 2013 +0200
+++ b/etc/options Sat Jul 20 16:18:17 2013 +0200
@@ -71,9 +71,9 @@
-- "level of tracing information for multithreading"
public option parallel_proofs : int = 2
-- "level of parallel proof checking: 0, 1, 2"
-public option parallel_subproofs_saturation : int = 100
+option parallel_subproofs_saturation : int = 100
-- "upper bound for forks of nested proofs (multiplied by worker threads)"
-public option parallel_subproofs_threshold : real = 0.01
+option parallel_subproofs_threshold : real = 0.01
-- "lower bound of timing estimate for forked nested proofs (seconds)"