# HG changeset patch
# User blanchet
# Date 1411051660 -7200
# Node ID 7f30ec82fe40a7bb79e2fff7ec938ee6991fa221
# Parent  ffc8669e46cf0ee00e667d8bf781b8b496379059
increased 'HOL-Proofs' timeout

diff -r ffc8669e46cf -r 7f30ec82fe40 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