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 47044 1ab41ea5b1c6
parent 46988 9f492f5b0cec
child 49310 6e30078de4f0 
--- 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