--- a/Admin/isatest/isatest-stats Wed Dec 31 20:59:00 2008 +0100
+++ b/Admin/isatest/isatest-stats Thu Jan 01 10:42:48 2009 +0100
@@ -31,28 +31,33 @@
HOL-Word \
HOL-ex \
ZF \
- ZF-Constructible\
+ ZF-Constructible \
ZF-UNITY"
AFP_SESSIONS="\
- CoreC++\
- LinearQuantifierElim\
- HOL-DiskPaxos\
- HOL-Fermat3_4\
- HOL-Flyspeck-Tame\
- HOL-Group-Ring-Module\
- HOL-JinjaThreads\
- HOL-Jinja\
- HOL-JiveDataStoreModel\
- HOL-POPLmark-deBruijn\
- HOL-Program-Conflict-Analysis\
- HOL-RSAPSS\
- HOL-Recursion-Theory-I\
- HOL-SumSquares\
- HOL-Topology\
- HOL-Valuation\
- Simpl-BDD\
- Simpl"
+ CoreC++ \
+ HOL-BytecodeLogicJmlTypes \
+ HOL-DiskPaxos \
+ HOL-Fermat3_4 \
+ HOL-Flyspeck-Tame \
+ HOL-Group-Ring-Module \
+ HOL-Jinja \
+ HOL-JinjaThreads \
+ HOL-JiveDataStoreModel \
+ HOL-POPLmark-deBruijn \
+ HOL-Program-Conflict-Analysis \
+ HOL-RSAPSS \
+ HOL-Recursion-Theory-I \
+ HOL-SATSolverVerification \
+ HOL-SIFPL \
+ HOL-SenSocialChoice \
+ HOL-Slicing \
+ HOL-SumSquares \
+ HOL-Topology \
+ HOL-Valuation \
+ LinearQuantifierElim \
+ Simpl \
+ Simpl-BDD"
for PLATFORM in $PLATFORMS
do