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