equal
deleted
inserted
replaced
1 (* :mode=isabelle-options: *) |
1 (* :mode=isabelle-options: *) |
2 |
2 |
3 declare browser_info : bool = false |
3 declare browser_info : bool = false |
4 |
4 |
5 declare document : bool = true |
5 declare document : string = "" |
6 declare document_format : string = pdf |
|
7 declare document_variants : string = document |
6 declare document_variants : string = document |
8 declare document_graph : bool = false |
7 declare document_graph : bool = false |
9 declare document_dump : string = "" |
8 declare document_dump : string = "" |
|
9 declare no_document : bool = false |
10 |
10 |
11 declare threads_limit : int = 1 |
11 declare threads_limit : int = 1 |
12 declare threads_trace : int = 0 |
12 declare threads_trace : int = 0 |
13 declare parallel_proofs : int = 1 |
13 declare parallel_proofs : int = 1 |
14 declare parallel_proofs_threshold : int = 100 |
14 declare parallel_proofs_threshold : int = 100 |