chapter AFP

session Slicing = Jinja +
  options [timeout = 3600]
  directories
    "Basic"
    "Dynamic"
    "JinjaVM"
    "StaticIntra"
    "While"
  theories
    Slicing
  document_files
    "root.tex"
