| author | wenzelm |
| Tue, 24 Jul 2012 21:54:49 +0200 | |
| changeset 48492 | 03530cf284ca |
| parent 48486 | 691d0b44a793 |
| child 48513 | ace120a2cb70 |
| permissions | -rw-r--r-- |
| 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 = "" |
|
48466
3b2fb20df17d
further imitation of ISABELLE_USEDIR_OPTIONS via options;
wenzelm
parents:
48463
diff
changeset
|
7 |
declare document_variants : string = "outline=/proof,/ML" |
| 48370 | 8 |
declare document_graph : bool = false |
| 48457 | 9 |
declare document_dump : string = "" |
|
48468
7f2998b95249
added "document_dump_only" (cf. negated usedir -C);
wenzelm
parents:
48466
diff
changeset
|
10 |
declare document_dump_only : bool = false |
| 48458 | 11 |
declare no_document : bool = false |
| 48367 | 12 |
|
|
48466
3b2fb20df17d
further imitation of ISABELLE_USEDIR_OPTIONS via options;
wenzelm
parents:
48463
diff
changeset
|
13 |
declare threads : int = 0 |
| 48370 | 14 |
declare threads_trace : int = 0 |
|
48466
3b2fb20df17d
further imitation of ISABELLE_USEDIR_OPTIONS via options;
wenzelm
parents:
48463
diff
changeset
|
15 |
declare parallel_proofs : int = 2 |
| 48370 | 16 |
declare parallel_proofs_threshold : int = 100 |
| 48367 | 17 |
|
| 48370 | 18 |
declare print_mode : string = "" |
| 48367 | 19 |
|
|
48466
3b2fb20df17d
further imitation of ISABELLE_USEDIR_OPTIONS via options;
wenzelm
parents:
48463
diff
changeset
|
20 |
declare proofs : int = 1 |
| 48370 | 21 |
declare quick_and_dirty : bool = false |
| 48367 | 22 |
|
| 48370 | 23 |
declare condition : string = "" |
| 48367 | 24 |
|
| 48486 | 25 |
declare show_question_marks : bool = true |
26 |
||
27 |
declare names_long : bool = false |
|
28 |
declare names_short : bool = false |
|
29 |
declare names_unique : bool = true |
|
30 |
||
| 48492 | 31 |
declare timing : bool = false |
32 |