# HG changeset patch
# User wenzelm
# Date 1332244927 -3600
# Node ID 1ab41ea5b1c6854be7fe321ef92bffa7bc623bae
# Parent  8d0d94621049a50fad931a76755db0a7bb58f3ce
more stats;

diff -r 8d0d94621049 -r 1ab41ea5b1c6 Admin/isatest/isatest-stats
--- 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