diff --git a/thys/MiniSail/ROOT b/thys/MiniSail/ROOT
--- a/thys/MiniSail/ROOT
+++ b/thys/MiniSail/ROOT
@@ -1,15 +1,15 @@
 chapter AFP
 
 session "MiniSail" (AFP) = "HOL-Library" +
   description \<open>Formalisation of MiniSail\<close>
-  options [timeout = 1200]
+  options [timeout = 4800]
   sessions   
      "Nominal2"
      "HOL-Eisbach" 
      "Native_Word"
      "Show"
   theories
     "MiniSail"
   document_files
     "root.tex"
     "root.bib"