etc/options
changeset 48634 30a6e841390a
parent 48580 9df76dd45900
child 48661 9149ebdd0241
     1.1 --- a/etc/options	Wed Aug 01 15:33:08 2012 +0200
     1.2 +++ b/etc/options	Wed Aug 01 15:46:45 2012 +0200
     1.3 @@ -30,6 +30,8 @@
     1.4    -- "level of detail for proof objects: 0, 1, 2"
     1.5  declare quick_and_dirty : bool = false
     1.6    -- "if true then some tools will OMIT some proofs"
     1.7 +declare skip_proofs : bool = false
     1.8 +  -- "skip over proofs"
     1.9  
    1.10  declare condition : string = ""
    1.11    -- "required environment variables for subsequent theories (separated by commas)"