# HG changeset patch
# User wenzelm
# Date 1323952820 -3600
# Node ID 66b419de5f38308a2b7e12dc255108cd8afcf42e
# Parent  bfb5234a70bac352c5bd84530bda5ffd3f7727f6
more stats;

diff -r bfb5234a70ba -r 66b419de5f38 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Thu Dec 15 10:38:50 2011 +0100
+++ b/Admin/isatest/isatest-stats	Thu Dec 15 13:40:20 2011 +0100
@@ -81,7 +81,9 @@
   TLA
   TLA-Buffer
   TLA-Inc
-  TLA-Memory"
+  TLA-Memory
+  HOL-Datatype_Benchmark
+  HOL-Record_Benchmark"
 
 AFP_SESSIONS="
   ArrowImpossibilityGS