# HG changeset patch
# User wenzelm
# Date 1344113456 -7200
# Node ID 5741f2152f5ed2160b77859ce591fea5bd230257
# Parent  ff27af15530c8022825adb6522666768cc2f97b4
some timeouts, which modify the build order;

diff -r ff27af15530c -r 5741f2152f5e src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Aug 04 22:23:48 2012 +0200
+++ b/src/HOL/ROOT	Sat Aug 04 22:50:56 2012 +0200
@@ -162,7 +162,7 @@
 
     Testing Metis and Sledgehammer.
   *}
-  options [document = false]
+  options [timeout = 3600, document = false]
   theories
     Abstraction
     Big_O
@@ -399,7 +399,7 @@
 
 session ex = HOL +
   description {* Miscellaneous examples for Higher-Order Logic. *}
-  options [condition = ISABELLE_POLYML]
+  options [timeout = 3600, condition = ISABELLE_POLYML]
   theories [document = false]
     "~~/src/HOL/Library/State_Monad"
     Code_Nat_examples
@@ -580,7 +580,7 @@
   theories Nominal
 
 session Examples in "Nominal/Examples" = "HOL-Nominal" +
-  options [condition = ISABELLE_POLYML, document = false]
+  options [timeout = 3600, condition = ISABELLE_POLYML, document = false]
   theories Nominal_Examples
   theories [quick_and_dirty] VC_Condition
 
@@ -737,7 +737,7 @@
   theories MutabelleExtra
 
 session Quickcheck_Examples = HOL +
-  options [document = false]
+  options [timeout = 3600, document = false]
   theories
     Quickcheck_Examples (* FIXME more *)
   theories [condition = ISABELLE_GHC]