# HG changeset patch
# User wenzelm
# Date 1212104812 -7200
# Node ID 6b2386074e5cc4fe0a06efd2f36e939acd64e764
# Parent  f8255a5dc3a8ee14f08901197a7b31d5ccf6ee0f
more AFP sessions;

diff -r f8255a5dc3a8 -r 6b2386074e5c Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Thu May 29 23:46:45 2008 +0200
+++ b/Admin/isatest/isatest-stats	Fri May 30 01:46:52 2008 +0200
@@ -39,11 +39,15 @@
   HOL-Flyspeck-Tame\
   HOL-Group-Ring-Module\
   HOL-Jinja\
+  HOL-JinjaThreads\
   HOL-JiveDataStoreModel\
+  HOL-LinearQuantifierElim\
   HOL-POPLmark-deBruijn\
   HOL-RSAPSS\
   HOL-SumSquares\
-  HOL-Valuation"
+  HOL-Valuation\
+  Simpl\
+  Simpl-BDD"
 
 for PLATFORM in $PLATFORMS
 do