changeset 51553 | 63327f679cff |
parent 51423 | e5f9a6d9ca82 |
child 51554 | 041bc3d31f23 |
--- a/etc/options Wed Mar 27 14:50:30 2013 +0100 +++ b/etc/options Wed Mar 27 16:38:25 2013 +0100 @@ -66,7 +66,7 @@ option quick_and_dirty : bool = false -- "if true then some tools will OMIT some proofs" option skip_proofs : bool = false - -- "skip over proofs" + -- "skip over proofs (implicit 'sorry')" section "Global Session Parameters"