session "TR_MyCommentedIsabelle" = "Isabelle_DOF" +
  options [document = pdf, document_output = "output", document_build = dof,
           dof_ontologies = "Isabelle_DOF.technical_report", dof_template = Isabelle_DOF.scrreprt,
    quick_and_dirty = true]
  theories
    "TR_MyCommentedIsabelle"
  document_files
    "root.bib"
    "preamble.tex"
    "prooftree.sty"
    "figures/markup-demo.png"
    "figures/text-element.pdf"
    "figures/isabelle-architecture.pdf"
    "figures/pure-inferences-I.pdf"
    "figures/pure-inferences-II.pdf"
    "figures/document-model.pdf"
    "figures/MyCommentedIsabelle.png"


