equal
deleted
inserted
replaced
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", document_output = "/tmp/isa-output"] |
41 options [document_variants = "datatypes"] |
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" |