author | blanchet |
Fri, 20 Jul 2012 22:19:45 +0200 | |
changeset 49390 | 48628962976b |
parent 49385 | d0fa3efec93b |
child 49472 | fd9e28d5a143 |
permissions | -rw-r--r-- |
wenzelm@49382 | 1 |
(* :mode=isabelle-options: *) |
wenzelm@49382 | 2 |
|
wenzelm@49385 | 3 |
declare browser_info : bool = false |
wenzelm@49382 | 4 |
|
wenzelm@49385 | 5 |
declare document : bool = true |
wenzelm@49385 | 6 |
declare document_format : string = pdf |
wenzelm@49385 | 7 |
declare document_variants : string = document |
wenzelm@49385 | 8 |
declare document_graph : bool = false |
wenzelm@49382 | 9 |
|
wenzelm@49385 | 10 |
declare threads_limit : int = 1 |
wenzelm@49385 | 11 |
declare threads_trace : int = 0 |
wenzelm@49385 | 12 |
declare parallel_proofs : int = 1 |
wenzelm@49385 | 13 |
declare parallel_proofs_threshold : int = 100 |
wenzelm@49382 | 14 |
|
wenzelm@49385 | 15 |
declare print_mode : string = "" |
wenzelm@49382 | 16 |
|
wenzelm@49385 | 17 |
declare proofs : int = 0 |
wenzelm@49385 | 18 |
declare quick_and_dirty : bool = false |
wenzelm@49382 | 19 |
|
wenzelm@49385 | 20 |
declare timing : bool = false |
wenzelm@49385 | 21 |
declare verbose : bool = false |
wenzelm@49382 | 22 |
|
wenzelm@49385 | 23 |
declare condition : string = "" |
wenzelm@49382 | 24 |