# HG changeset patch
# User wenzelm
# Date 1188486542 -7200
# Node ID d4967d2188d6c89f04464ca0c8ef549be4954fd9
# Parent  646e782ba8ff65eace0e05fa92026e52461b2314
added some more entries;

diff -r 646e782ba8ff -r d4967d2188d6 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Thu Aug 30 15:04:50 2007 +0200
+++ b/Admin/isatest/isatest-stats	Thu Aug 30 17:09:02 2007 +0200
@@ -7,7 +7,7 @@
 
 THIS=$(cd "$(dirname "$0")"; pwd -P)
 
-PLATFORMS="at-poly at-sml-dev at-mac-poly-e at64-poly-e at-poly-5.1-para"
+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"
 SESSIONS="\
   HOL \
   HOL-Algebra \
@@ -19,6 +19,7 @@
   HOL-Hoare \
   HOL-HoareParallel \
   HOL-Lambda \
+  HOL-MetisExamples \
   HOL-MicroJava \
   HOL-Nominal-Examples \
   HOL-NumberTheory \