etc/options
changeset 52746 eec610972763
parent 52715 8979d830950b
child 52759 a20631db9c8a
equal deleted inserted replaced
52745:821ce370b7fc 52746:eec610972763
     4 
     4 
     5 option browser_info : bool = false
     5 option browser_info : bool = false
     6   -- "generate theory browser information"
     6   -- "generate theory browser information"
     7 
     7 
     8 option document : string = ""
     8 option document : string = ""
     9   -- "build document in given format: pdf, dvi, dvi.gz, ps, ps.gz, or 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
    14 option document_graph : bool = false