etc/options
changeset 48805 c3ea910b3581
parent 48795 bece259ee055
child 49270 e5d162d15867
equal deleted inserted replaced
48804:6348e5fca42e 48805:c3ea910b3581
     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"