Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

2 new devel entries: DOM_Components and Shadow_DOM

Changeset 11446:11e9abcf7366 by kleing: 2 new devel entries: DOM_Components and Shadow_DOM
The file was added	`thys/DOM_Components/Core_DOM_Components.thy`
The file was added	`thys/DOM_Components/ROOT`
The file was added	`thys/DOM_Components/Shadow_DOM_Components.thy`
The file was added	`thys/DOM_Components/counterexample/fancy-tabs.html`
The file was added	`thys/DOM_Components/counterexample/fancy_tabs.thy`
The file was added	`thys/DOM_Components/document/fancytabs-normal.jpg`
The file was added	`thys/DOM_Components/document/root.bib`
The file was added	`thys/DOM_Components/document/root.tex`
The file was added	`thys/Shadow_DOM/ROOT`
The file was added	`thys/Shadow_DOM/Shadow_DOM.thy`
The file was added	`thys/Shadow_DOM/Shadow_DOM_Tests.thy`
The file was added	`thys/Shadow_DOM/classes/ShadowRootClass.thy`
The file was added	`thys/Shadow_DOM/document/root.bib`
The file was added	`thys/Shadow_DOM/document/root.tex`
The file was added	`thys/Shadow_DOM/monads/ShadowRootMonad.thy`
The file was added	`thys/Shadow_DOM/tests/Document-adoptNode.html`
The file was added	`thys/Shadow_DOM/tests/Document-getElementById.html`
The file was added	`thys/Shadow_DOM/tests/Node-insertBefore.html`
The file was added	`thys/Shadow_DOM/tests/Node-removeChild.html`
The file was added	`thys/Shadow_DOM/tests/Shadow_DOM_BaseTest.thy`
The file was added	`thys/Shadow_DOM/tests/Shadow_DOM_Document_adoptNode.thy`
The file was added	`thys/Shadow_DOM/tests/Shadow_DOM_Document_getElementById.thy`
The file was added	`thys/Shadow_DOM/tests/Shadow_DOM_Node_insertBefore.thy`
The file was added	`thys/Shadow_DOM/tests/Shadow_DOM_Node_removeChild.thy`
The file was added	`thys/Shadow_DOM/tests/my_get_owner_document.html`
The file was added	`thys/Shadow_DOM/tests/my_get_owner_document.thy`
The file was added	`thys/Shadow_DOM/tests/slots-fallback.html`
The file was added	`thys/Shadow_DOM/tests/slots.html`
The file was added	`thys/Shadow_DOM/tests/slots.thy`
The file was added	`thys/Shadow_DOM/tests/slots_fallback.thy`
The file was added	`web/entries/DOM_Components.html`
The file was added	`web/entries/Shadow_DOM.html`
The file was modified	`metadata/metadata`
The file was modified	`thys/ROOTS`
The file was modified	`web/entries/Automated_Stateful_Protocol_Verification.html`
The file was modified	`web/entries/Core_DOM.html`
The file was modified	`web/entries/Core_SC_DOM.html`
The file was modified	`web/entries/Extended_Finite_State_Machine_Inference.html`
The file was modified	`web/entries/Extended_Finite_State_Machines.html`
The file was modified	`web/entries/Featherweight_OCL.html`
The file was modified	`web/entries/SC_DOM_Components.html`
The file was modified	`web/entries/Shadow_SC_DOM.html`
The file was modified	`web/entries/Stateful_Protocol_Composition_and_Typing.html`
The file was modified	`web/entries/UPF.html`
The file was modified	`web/entries/UPF_Firewall.html`
The file was modified	`web/index.html`
The file was modified	`web/rss.xml`
The file was modified	`web/statistics.html`
The file was modified	`web/topics.html`