chapter AFP

session "Shadow_DOM" = "Core_DOM" +
  options [timeout = 3600]
  directories
    classes
    monads
    tests
  theories
    Shadow_DOM
    Shadow_DOM_Tests
  document_files
    "root.tex"
    "root.bib"
