1.1 --- a/Admin/isatest/isatest-stats Fri May 30 17:52:10 2008 +0200
1.2 +++ b/Admin/isatest/isatest-stats Fri May 30 23:10:53 2008 +0200
1.3 @@ -34,20 +34,23 @@
1.4
1.5 AFP_SESSIONS="\
1.6 CoreC++\
1.7 + HOL-Complex-LinearQuantifierElim\
1.8 HOL-DiskPaxos\
1.9 HOL-Fermat3_4\
1.10 HOL-Flyspeck-Tame\
1.11 HOL-Group-Ring-Module\
1.12 + HOL-JinjaThreads\
1.13 HOL-Jinja\
1.14 - HOL-JinjaThreads\
1.15 HOL-JiveDataStoreModel\
1.16 - HOL-LinearQuantifierElim\
1.17 HOL-POPLmark-deBruijn\
1.18 + HOL-Program-Conflict-Analysis\
1.19 HOL-RSAPSS\
1.20 + HOL-Recursion-Theory-I\
1.21 HOL-SumSquares\
1.22 + HOL-Topology\
1.23 HOL-Valuation\
1.24 - Simpl\
1.25 - Simpl-BDD"
1.26 + Simpl-BDD\
1.27 + Simpl"
1.28
1.29 for PLATFORM in $PLATFORMS
1.30 do