equal
deleted
inserted
replaced
9 -- "build document in given format: pdf, dvi, false" |
9 -- "build document in given format: pdf, dvi, false" |
10 option document_output : string = "" |
10 option document_output : string = "" |
11 -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)" |
11 -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)" |
12 option document_variants : string = "document" |
12 option document_variants : string = "document" |
13 -- "option alternative document variants (separated by colons)" |
13 -- "option alternative document variants (separated by colons)" |
14 option document_graph : bool = false |
|
15 -- "generate session graph image for document" |
|
16 |
14 |
17 option thy_output_display : bool = false |
15 option thy_output_display : bool = false |
18 -- "indicate output as multi-line display-style material" |
16 -- "indicate output as multi-line display-style material" |
19 option thy_output_break : bool = false |
17 option thy_output_break : bool = false |
20 -- "control line breaks in non-display material" |
18 -- "control line breaks in non-display material" |