equal
deleted
inserted
replaced
80 -- "default threshold for persistent command timing (seconds)" |
80 -- "default threshold for persistent command timing (seconds)" |
81 |
81 |
82 |
82 |
83 section "Detail of Proof Checking" |
83 section "Detail of Proof Checking" |
84 |
84 |
|
85 option record_proofs : int = -1 |
|
86 -- "set level of proofterm recording: 0, 1, 2, negative means unchanged" |
85 option quick_and_dirty : bool = false |
87 option quick_and_dirty : bool = false |
86 -- "if true then some tools will OMIT some proofs" |
88 -- "if true then some tools will OMIT some proofs" |
87 option skip_proofs : bool = false |
89 option skip_proofs : bool = false |
88 -- "skip over proofs (implicit 'sorry')" |
90 -- "skip over proofs (implicit 'sorry')" |
89 |
91 |