session JEdit (doc) in "~~/src/Doc/JEdit" = HOL +
  options [document_variants = "jedit", thy_output_source]
  theories
    JEdit
  document_files (in "..")
    "extra.sty"
    "iman.sty"
    "isar.sty"
    "manual.bib"
    "pdfsetup.sty"
    "prepare_document"
    "ttbox.sty"
    "underscore.sty"
  document_files (in "../Isar_Ref/document")
    "style.sty"
  document_files
    "auto-tools.png"
    "bibtex-mode.png"
    "build"
    "cite-completion.png"
    "isabelle-jedit-hdpi.png"
    "isabelle-jedit.png"
    "markdown-document.png"
    "ml-debugger.png"
    "output-and-state.png"
    "output-including-state.png"
    "output.png"
    "popup1.png"
    "popup2.png"
    "query.png"
    "root.tex"
    "scope1.png"
    "scope2.png"
    "sidekick-document.png"
    "sidekick.png"
    "sledgehammer.png"
    "theories.png"