etc/options
changeset 65448 9bc3b57c1fa7
parent 65264 7e6ecd04b5fe
child 65456 31e8a86971a8
     1.1 --- a/etc/options	Sun Apr 09 19:56:52 2017 +0200
     1.2 +++ b/etc/options	Sun Apr 09 20:17:00 2017 +0200
     1.3 @@ -82,6 +82,8 @@
     1.4  
     1.5  section "Detail of Proof Checking"
     1.6  
     1.7 +option record_proofs : int = -1
     1.8 +  -- "set level of proofterm recording: 0, 1, 2, negative means unchanged"
     1.9  option quick_and_dirty : bool = false
    1.10    -- "if true then some tools will OMIT some proofs"
    1.11  option skip_proofs : bool = false