src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
+++ b/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
@@ -19,7 +19,7 @@
   description {*
     HOL-Main with explicit proof terms.
   *}
-  options [document = false]
+  options [timeout = 5400, document = false]
   theories Proofs (*sequential change of global flag!*)
   theories Main
   files