src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Oct 31 17:08:54 2014 +0100
+++ b/src/HOL/ROOT	Fri Oct 31 18:56:59 2014 +0100
@@ -758,7 +758,7 @@
     Misc_Datatype
     Misc_Primcorec
     Misc_Primrec
-  theories [condition = ISABELLE_FULL_TEST, timing]
+  theories [condition = ISABELLE_FULL_TEST]
     Brackin
     IsaFoR
     Misc_N2M
@@ -1098,6 +1098,6 @@
     Some benchmark on large record.
   *}
   options [document = false]
-  theories [condition = ISABELLE_FULL_TEST, timing]
+  theories [condition = ISABELLE_FULL_TEST]
     Record_Benchmark