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