equal
deleted
inserted
replaced
5 |
5 |
6 declare document : string = "" |
6 declare document : string = "" |
7 declare document_variants : string = "outline=/proof,/ML" |
7 declare document_variants : string = "outline=/proof,/ML" |
8 declare document_graph : bool = false |
8 declare document_graph : bool = false |
9 declare document_dump : string = "" |
9 declare document_dump : string = "" |
|
10 declare document_dump_only : bool = false |
10 declare no_document : bool = false |
11 declare no_document : bool = false |
11 |
12 |
12 declare threads : int = 0 |
13 declare threads : int = 0 |
13 declare threads_trace : int = 0 |
14 declare threads_trace : int = 0 |
14 declare parallel_proofs : int = 2 |
15 declare parallel_proofs : int = 2 |