diff --git a/thys/Shadow_DOM/ROOT b/thys/Shadow_DOM/ROOT
--- a/thys/Shadow_DOM/ROOT
+++ b/thys/Shadow_DOM/ROOT
@@ -1,14 +1,14 @@
 chapter AFP
 
 session "Shadow_DOM" (AFP) = "Core_DOM" +
-  options [timeout = 1200]
+  options [timeout = 2400]
   directories
     classes
     monads
     tests
   theories
     Shadow_DOM
     Shadow_DOM_Tests
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Shadow_SC_DOM/ROOT b/thys/Shadow_SC_DOM/ROOT
--- a/thys/Shadow_SC_DOM/ROOT
+++ b/thys/Shadow_SC_DOM/ROOT
@@ -1,14 +1,14 @@
 chapter AFP
 
 session "Shadow_SC_DOM" (AFP) = "Core_SC_DOM" +
-  options [timeout = 1200]
+  options [timeout = 2400]
   directories
     classes
     monads
     tests
   theories
     Shadow_DOM
     Shadow_DOM_Tests
   document_files
     "root.tex"
     "root.bib"