Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more stats;
authorwenzelm
Thu, 15 Dec 2011 13:40:20 +0100
changeset 45888 66b419de5f38
parent 45887 bfb5234a70ba
child 45889 4ff377493dbb
child 45892 8dcf6692433f
more stats;
Admin/isatest/isatest-stats file | annotate | diff | comparison | revisions 
--- 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