changeset 53617 | da5e1887d7a7 |
parent 53544 | 2176a7e40786 |
child 53618 | 4161d2b96b8c |
--- a/src/Doc/ROOT Tue Aug 20 17:34:11 2013 +0900 +++ b/src/Doc/ROOT Fri Sep 13 16:29:39 2013 +0200 @@ -38,7 +38,7 @@ "document/style.sty" session Datatypes (doc) in "Datatypes" = "HOL-BNF" + - options [document_variants = "datatypes"] + options [document_variants = "datatypes", document_output = "/tmp/isa-output"] theories [document = false] Setup theories Datatypes files