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
Tue, 20 Mar 2012 13:02:07 +0100
changeset 47044 1ab41ea5b1c6
parent 47043 8d0d94621049
child 47045 631adf003bb0
more stats;
Admin/isatest/isatest-stats file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-stats	Tue Mar 20 11:03:46 2012 +0000
+++ b/Admin/isatest/isatest-stats	Tue Mar 20 13:02:07 2012 +0100
@@ -166,6 +166,7 @@
   HOL-Verified-Prover
   HOL-Word
   HOL-Word-RIPEMD-160-SPARK
+  HOL-Word-JinjaThreads-Basic-JinjaThreads
   HOLCF
   HOLCF-Shivers-CFA
   HOLCF-Stream-Fusion
isabelle