src/Doc/ROOT
changeset 53617 da5e1887d7a7
parent 53544 2176a7e40786
child 53618 4161d2b96b8c
equal deleted inserted replaced
53616:ff37dc246b10 53617:da5e1887d7a7
    36     "document/build"
    36     "document/build"
    37     "document/root.tex"
    37     "document/root.tex"
    38     "document/style.sty"
    38     "document/style.sty"
    39 
    39 
    40 session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
    40 session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
    41   options [document_variants = "datatypes"]
    41   options [document_variants = "datatypes", document_output = "/tmp/isa-output"]
    42   theories [document = false] Setup
    42   theories [document = false] Setup
    43   theories Datatypes
    43   theories Datatypes
    44   files
    44   files
    45     "../prepare_document"
    45     "../prepare_document"
    46     "../pdfsetup.sty"
    46     "../pdfsetup.sty"