--- a/src/HOL/ROOT Tue Jul 24 21:48:41 2012 +0200
+++ b/src/HOL/ROOT Tue Jul 24 21:54:49 2012 +0200
@@ -862,8 +862,7 @@
session Datatype_Benchmark = HOL +
description {* Some rather large datatype examples (from John Harrison). *}
options [document = false]
- theories [condition = ISABELLE_BENCHMARK]
- (* FIXME Toplevel.timing := true; *)
+ theories [condition = ISABELLE_BENCHMARK, timing]
Brackin
Instructions
SML
@@ -872,7 +871,6 @@
session Record_Benchmark = HOL +
description {* Some benchmark on large record. *}
options [document = false]
- theories [condition = ISABELLE_BENCHMARK]
- (* FIXME Toplevel.timing := true; *)
+ theories [condition = ISABELLE_BENCHMARK, timing]
Record_Benchmark