1.1 --- a/Admin/isatest/isatest-stats	Thu May 29 23:46:45 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Fri May 30 01:46:52 2008 +0200
     1.3 @@ -39,11 +39,15 @@
     1.4    HOL-Flyspeck-Tame\
     1.5    HOL-Group-Ring-Module\
     1.6    HOL-Jinja\
     1.7 +  HOL-JinjaThreads\
     1.8    HOL-JiveDataStoreModel\
     1.9 +  HOL-LinearQuantifierElim\
    1.10    HOL-POPLmark-deBruijn\
    1.11    HOL-RSAPSS\
    1.12    HOL-SumSquares\
    1.13 -  HOL-Valuation"
    1.14 +  HOL-Valuation\
    1.15 +  Simpl\
    1.16 +  Simpl-BDD"
    1.17  
    1.18  for PLATFORM in $PLATFORMS
    1.19  do