src/Doc/ROOT
changeset 62739 628c97d39627
parent 62640 e36cbe677c17
child 63026 9a9c2d846d4a
     1.1 --- a/src/Doc/ROOT	Mon Mar 28 12:11:54 2016 +0200
     1.2 +++ b/src/Doc/ROOT	Tue Mar 29 09:45:54 2016 +0200
     1.3 @@ -43,6 +43,22 @@
     1.4      "root.tex"
     1.5      "style.sty"
     1.6  
     1.7 +session Corec (doc) in "Corec" = HOL +
     1.8 +  options [document_variants = "corec"]
     1.9 +  theories [document = false] "../Datatypes/Setup"
    1.10 +  theories Corec
    1.11 +  document_files (in "..")
    1.12 +    "prepare_document"
    1.13 +    "pdfsetup.sty"
    1.14 +    "iman.sty"
    1.15 +    "extra.sty"
    1.16 +    "isar.sty"
    1.17 +    "manual.bib"
    1.18 +  document_files
    1.19 +    "build"
    1.20 +    "root.tex"
    1.21 +    "style.sty"
    1.22 +
    1.23  session Datatypes (doc) in "Datatypes" = HOL +
    1.24    options [document_variants = "datatypes"]
    1.25    theories [document = false] Setup