3 option browser_info : bool = false |
3 option browser_info : bool = false |
4 -- "generate theory browser information" |
4 -- "generate theory browser information" |
5 |
5 |
6 option document : string = "" |
6 option document : string = "" |
7 -- "build document in given format: pdf, dvi, dvi.gz, ps, ps.gz, or false" |
7 -- "build document in given format: pdf, dvi, dvi.gz, ps, ps.gz, or false" |
8 option document_variants : string = "outline=/proof,/ML" |
8 option document_output : string = "" |
|
9 -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)" |
|
10 option document_variants : string = "document" |
9 -- "option alternative document variants (separated by colons)" |
11 -- "option alternative document variants (separated by colons)" |
10 option document_graph : bool = false |
12 option document_graph : bool = false |
11 -- "generate session graph image for document" |
13 -- "generate session graph image for document" |
12 option document_dump : string = "" |
14 option document_dump : string = "" |
13 -- "dump generated document sources into given directory" |
15 -- "dump generated document sources into given directory" |