Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-stats
changeset 45888 66b419de5f38
parent 45194 d825a8f1d088
child 46651 1258eab48270 
--- 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
isabelle