Shadow_DOM/Shadow_DOM/ROOT

chapter AFP

session "Shadow_DOM-devel" (AFP) = "Core_DOM" +
  options [timeout = 3600]
  directories
    classes
    monads
    tests
  theories
    Shadow_DOM
    Shadow_DOM_Tests
  document_files
    "root.tex"
    "root.bib"
Initial import from AFP. 2020-12-19 15:09:58 +00:00			`chapter AFP`

Renamed session to avoid name clash with offical AFP entry. 2020-12-19 15:10:28 +00:00			`session "Shadow_DOM-devel" (AFP) = "Core_DOM" +`
Initial import from AFP. 2020-12-19 15:09:58 +00:00			`options [timeout = 3600]`
			`directories`
			`classes`
			`monads`
			`tests`
			`theories`
			`Shadow_DOM`
			`Shadow_DOM_Tests`
			`document_files`
			`"root.tex"`
			`"root.bib"`