equal
deleted
inserted
replaced
28 |
28 |
29 declare proofs : int = 1 |
29 declare proofs : int = 1 |
30 -- "level of detail for proof objects: 0, 1, 2" |
30 -- "level of detail for proof objects: 0, 1, 2" |
31 declare quick_and_dirty : bool = false |
31 declare quick_and_dirty : bool = false |
32 -- "if true then some tools will OMIT some proofs" |
32 -- "if true then some tools will OMIT some proofs" |
|
33 declare skip_proofs : bool = false |
|
34 -- "skip over proofs" |
33 |
35 |
34 declare condition : string = "" |
36 declare condition : string = "" |
35 -- "required environment variables for subsequent theories (separated by commas)" |
37 -- "required environment variables for subsequent theories (separated by commas)" |
36 |
38 |
37 declare show_question_marks : bool = true |
39 declare show_question_marks : bool = true |