etc/options
changeset 51553 63327f679cff
parent 51423 e5f9a6d9ca82
child 51554 041bc3d31f23
equal deleted inserted replaced
51552:c713c9505f68 51553:63327f679cff
    64 option proofs : int = 1
    64 option proofs : int = 1
    65   -- "level of detail for proof objects: 0, 1, 2"
    65   -- "level of detail for proof objects: 0, 1, 2"
    66 option quick_and_dirty : bool = false
    66 option quick_and_dirty : bool = false
    67   -- "if true then some tools will OMIT some proofs"
    67   -- "if true then some tools will OMIT some proofs"
    68 option skip_proofs : bool = false
    68 option skip_proofs : bool = false
    69   -- "skip over proofs"
    69   -- "skip over proofs (implicit 'sorry')"
    70 
    70 
    71 
    71 
    72 section "Global Session Parameters"
    72 section "Global Session Parameters"
    73 
    73 
    74 option condition : string = ""
    74 option condition : string = ""