etc/options
changeset 52488 cd65ee49a8ba
parent 52065 78f2475aa126
child 52490 cfab88cd7ba7
     1.1 --- a/etc/options	Sun Jun 30 11:37:34 2013 +0200
     1.2 +++ b/etc/options	Sun Jun 30 12:30:02 2013 +0200
     1.3 @@ -79,8 +79,6 @@
     1.4  
     1.5  section "Detail of Proof Recording"
     1.6  
     1.7 -option proofs : int = 1
     1.8 -  -- "level of detail for proof objects: 0, 1, 2"
     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