DOM_Components/DOM_Components/ROOT

chapter AFP

session "DOM_Components-devel" (AFP) = "Shadow_DOM" +
  options [timeout = 3600]
  directories
    counterexample
  theories
    Core_DOM_Components
    Shadow_DOM_Components
    fancy_tabs
  document_files
    "root.tex"
    "root.bib"
    "fancytabs-normal.jpg"
Initial import from AFP. 2020-12-19 11:09:06 +00:00			`chapter AFP`

Initial commit. 2020-12-19 11:10:14 +00:00			`session "DOM_Components-devel" (AFP) = "Shadow_DOM" +`
Initial import from AFP. 2020-12-19 11:09:06 +00:00			`options [timeout = 3600]`
			`directories`
			`counterexample`
			`theories`
			`Core_DOM_Components`
			`Shadow_DOM_Components`
			`fancy_tabs`
			`document_files`
			`"root.tex"`
			`"root.bib"`
			`"fancytabs-normal.jpg"`