added some more entries;
authorwenzelm
Thu Aug 30 17:09:02 2007 +0200 (2007-08-30)
changeset 24489d4967d2188d6
parent 24488 646e782ba8ff
child 24490 a4c2a0ffa5be
added some more entries;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Thu Aug 30 15:04:50 2007 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Thu Aug 30 17:09:02 2007 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  THIS=$(cd "$(dirname "$0")"; pwd -P)
     1.6  
     1.7 -PLATFORMS="at-poly at-sml-dev at-mac-poly-e at64-poly-e at-poly-5.1-para"
     1.8 +PLATFORMS="at-poly at-sml-dev at-mac-poly-e at64-poly-e at-poly-5.1-para-e at64-poly-5.1-para-e at-mac-poly-5.1-para-e"
     1.9  SESSIONS="\
    1.10    HOL \
    1.11    HOL-Algebra \
    1.12 @@ -19,6 +19,7 @@
    1.13    HOL-Hoare \
    1.14    HOL-HoareParallel \
    1.15    HOL-Lambda \
    1.16 +  HOL-MetisExamples \
    1.17    HOL-MicroJava \
    1.18    HOL-Nominal-Examples \
    1.19    HOL-NumberTheory \