Shadow_SC_DOM/Shadow_SC_DOM/ROOT

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"
Initial import from AFP. 2020-12-19 15:19:51 +00:00			`chapter AFP`

Renamed session to avoid name clash with offical AFP entry. 2020-12-19 15:20:40 +00:00			`session "Shadow_SC_DOM-devel" (AFP) = "Core_SC_DOM" +`
Initial import from AFP. 2020-12-19 15:19:51 +00:00			`options [timeout = 4800]`
			`directories`
			`classes`
			`monads`
			`tests`
			`theories`
			`Shadow_DOM`
			`Shadow_DOM_Tests`
			`document_files`
			`"root.tex"`
			`"root.bib"`