diff -r bb5433b13ff2 -r ee8b8dafef0e etc/options
--- 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)"