changeset 52490 | cfab88cd7ba7 |
parent 52488 | cd65ee49a8ba |
child 52702 | c503730efae5 |
--- a/etc/options Sun Jun 30 12:39:39 2013 +0200 +++ b/etc/options Sun Jun 30 12:40:55 2013 +0200 @@ -77,7 +77,7 @@ -- "lower bound of timing estimate for forked nested proofs (seconds)" -section "Detail of Proof Recording" +section "Detail of Proof Checking" option quick_and_dirty : bool = false -- "if true then some tools will OMIT some proofs"