# HG changeset patch
# User bulwahn
# Date 1311230037 -7200
# Node ID 78a0a2ad91a387d9f1ab5d09f1a5f42e722c0c46
# Parent  768c70befd59cfa0099a7f51459940b907074369
deactivating all quickcheck invocations until parallel invocation works safely

diff -r 768c70befd59 -r 78a0a2ad91a3 src/HOL/Predicate_Compile_Examples/ROOT.ML
--- a/src/HOL/Predicate_Compile_Examples/ROOT.ML	Thu Jul 21 08:31:35 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/ROOT.ML	Thu Jul 21 08:33:57 2011 +0200
@@ -2,11 +2,11 @@
   "Examples",
   "Predicate_Compile_Tests",
 (*  "Predicate_Compile_Quickcheck_Examples", -- should be added again soon *)
-  "Specialisation_Examples",
-(*  "Hotel_Example_Small_Generator",*)
+  "Specialisation_Examples"
+(*  "Hotel_Example_Small_Generator",
   "IMP_1",
   "IMP_2"
-(*  "IMP_3",
+  "IMP_3",
   "IMP_4"*)];
 
 if getenv "ISABELLE_SWIPL" = "" andalso getenv "ISABELLE_YAP" = "" then