2 |
2 |
3 declare browser_info : bool = false |
3 declare browser_info : bool = false |
4 declare browser_info_remote : string = "" |
4 declare browser_info_remote : string = "" |
5 |
5 |
6 declare document : string = "" |
6 declare document : string = "" |
7 declare document_variants : string = document |
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 no_document : bool = false |
10 declare no_document : bool = false |
11 |
11 |
12 declare threads : int = 1 |
12 declare threads : int = 0 |
13 declare threads_trace : int = 0 |
13 declare threads_trace : int = 0 |
14 declare parallel_proofs : int = 1 |
14 declare parallel_proofs : int = 2 |
15 declare parallel_proofs_threshold : int = 100 |
15 declare parallel_proofs_threshold : int = 100 |
16 |
16 |
17 declare print_mode : string = "" |
17 declare print_mode : string = "" |
18 |
18 |
19 declare proofs : int = 0 |
19 declare proofs : int = 1 |
20 declare quick_and_dirty : bool = false |
20 declare quick_and_dirty : bool = false |
21 |
21 |
22 declare condition : string = "" |
22 declare condition : string = "" |
23 |
23 |