src/Doc/ROOT
changeset 60288 d7f636331176
parent 60255 0466bd194d74
child 60291 4335ee20014e
     1.1 --- a/src/Doc/ROOT	Sun May 17 22:33:34 2015 +0200
     1.2 +++ b/src/Doc/ROOT	Sun May 17 23:03:49 2015 +0200
     1.3 @@ -59,6 +59,28 @@
     1.4      "root.tex"
     1.5      "style.sty"
     1.6  
     1.7 +session Eisbach (doc) in "Eisbach" = "HOL-Eisbach" +
     1.8 +  options [document_variants = "eisbach", quick_and_dirty,
     1.9 +    print_mode = "no_brackets,iff", show_question_marks = false]
    1.10 +  theories [document = false]
    1.11 +    Base
    1.12 +  theories
    1.13 +    Preface
    1.14 +    Manual
    1.15 +  document_files (in "..")
    1.16 +    "prepare_document"
    1.17 +    "pdfsetup.sty"
    1.18 +    "iman.sty"
    1.19 +    "extra.sty"
    1.20 +    "isar.sty"
    1.21 +    "ttbox.sty"
    1.22 +    "underscore.sty"
    1.23 +    "manual.bib"
    1.24 +  document_files
    1.25 +    "build"
    1.26 +    "root.tex"
    1.27 +    "style.sty"
    1.28 +
    1.29  session Functions (doc) in "Functions" = HOL +
    1.30    options [document_variants = "functions", skip_proofs = false, quick_and_dirty]
    1.31    theories Functions