1 (* :mode=isabelle-options: *) |
1 (* :mode=isabelle-options: *) |
2 |
2 |
3 declare browser_info : bool |
3 declare browser_info : bool = false |
4 |
4 |
5 declare document : bool define document = true |
5 declare document : bool = true |
6 declare document_format : string define document_format = pdf |
6 declare document_format : string = pdf |
7 declare document_variants : string define document_variants = document |
7 declare document_variants : string = document |
8 declare document_graph : bool |
8 declare document_graph : bool = false |
9 |
9 |
10 declare threads_limit : int |
10 declare threads_limit : int = 1 |
11 declare threads_trace : bool |
11 declare threads_trace : int = 0 |
12 declare parallel_proofs : bool define parallel_proofs = true |
12 declare parallel_proofs : int = 1 |
13 declare parallel_proofs_threshold : int |
13 declare parallel_proofs_threshold : int = 100 |
14 |
14 |
15 declare print_mode : string |
15 declare print_mode : string = "" |
16 |
16 |
17 declare proofs : bool |
17 declare proofs : int = 0 |
18 declare quick_and_dirty : bool |
18 declare quick_and_dirty : bool = false |
19 |
19 |
20 declare timing : bool |
20 declare timing : bool = false |
21 declare verbose : bool |
21 declare verbose : bool = false |
22 |
22 |
23 declare condition : string |
23 declare condition : string = "" |
24 |
24 |