chapter AFP session "Shadow_SC_DOM-devel" (AFP) = "Core_SC_DOM" + options [timeout = 4800] directories classes monads tests theories Shadow_DOM Shadow_DOM_Tests document_files "root.tex" "root.bib"