etc/options
changeset 48486 691d0b44a793
parent 48468 7f2998b95249
child 48492 03530cf284ca
equal deleted inserted replaced
48485:2cbc3d284cd8 48486:691d0b44a793
    20 declare proofs : int = 1
    20 declare proofs : int = 1
    21 declare quick_and_dirty : bool = false
    21 declare quick_and_dirty : bool = false
    22 
    22 
    23 declare condition : string = ""
    23 declare condition : string = ""
    24 
    24 
       
    25 declare show_question_marks : bool = true
       
    26 
       
    27 declare names_long : bool = false
       
    28 declare names_short : bool = false
       
    29 declare names_unique : bool = true
       
    30