|
48367
|
1 |
(* :mode=isabelle-options: *)
|
|
|
2 |
|
|
48370
|
3 |
declare browser_info : bool = false
|
|
48463
|
4 |
declare browser_info_remote : string = ""
|
|
48367
|
5 |
|
|
48458
|
6 |
declare document : string = ""
|
|
48370
|
7 |
declare document_variants : string = document
|
|
|
8 |
declare document_graph : bool = false
|
|
48457
|
9 |
declare document_dump : string = ""
|
|
48458
|
10 |
declare no_document : bool = false
|
|
48367
|
11 |
|
|
48460
|
12 |
declare threads : int = 1
|
|
48370
|
13 |
declare threads_trace : int = 0
|
|
|
14 |
declare parallel_proofs : int = 1
|
|
|
15 |
declare parallel_proofs_threshold : int = 100
|
|
48367
|
16 |
|
|
48370
|
17 |
declare print_mode : string = ""
|
|
48367
|
18 |
|
|
48370
|
19 |
declare proofs : int = 0
|
|
|
20 |
declare quick_and_dirty : bool = false
|
|
48367
|
21 |
|
|
48370
|
22 |
declare condition : string = ""
|
|
48367
|
23 |
|