diff --git a/thys/Automated_Stateful_Protocol_Verification/ROOT b/thys/Automated_Stateful_Protocol_Verification/ROOT
--- a/thys/Automated_Stateful_Protocol_Verification/ROOT
+++ b/thys/Automated_Stateful_Protocol_Verification/ROOT
@@ -1,22 +1,22 @@
 chapter AFP
 
 session "Automated_Stateful_Protocol_Verification" (AFP) = "Stateful_Protocol_Composition_and_Typing" + 
-  options [timeout = 3600, document="pdf", document_output="output"]
+  options [timeout = 3600]
   sessions 
     "HOL-Eisbach"
   directories
     "trac"
     "examples"
     "examples/PKCS"
     "PSPSP-Manual"
   theories 
     "PSPSP"
     "manual"
     "Examples"
   document_files
     "lh-listings.sty"
     "root.tex"
     "root.bib"
     "jedit-keyserver.png"
     "jedit-select-session.png"
 
diff --git a/thys/Stateful_Protocol_Composition_and_Typing/ROOT b/thys/Stateful_Protocol_Composition_and_Typing/ROOT
--- a/thys/Stateful_Protocol_Composition_and_Typing/ROOT
+++ b/thys/Stateful_Protocol_Composition_and_Typing/ROOT
@@ -1,13 +1,13 @@
 chapter AFP
 
 session "Stateful_Protocol_Composition_and_Typing" (AFP) = "First_Order_Terms" +
-  options [timeout = 2400, document="pdf", document_output="output"]
+  options [timeout = 2400]
   directories
     "examples"
   theories
     "Stateful_Compositionality"
     "Examples"
   document_files
     "root.tex"
     "root.bib"