# HG changeset patch
# User wenzelm
# Date 1267644090 -3600
# Node ID d3df6465f1a00a1140810a6056451d300762383f
# Parent  6d3fa3a378221c9807c6e68da6122c2a66e8ffcc
stats for at-poly-test;

diff -r 6d3fa3a37822 -r d3df6465f1a0 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Wed Mar 03 17:08:41 2010 +0100
+++ b/Admin/isatest/isatest-stats	Wed Mar 03 20:21:30 2010 +0100
@@ -6,7 +6,7 @@
 
 THIS=$(cd "$(dirname "$0")"; pwd -P)
 
-PLATFORMS="at-poly at64-poly mac-poly-M4 mac-poly64-M4 mac-poly-M8 mac-poly64-M8 at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp at-sml-dev sun-poly"
+PLATFORMS="at-poly at-poly-test at64-poly mac-poly-M4 mac-poly64-M4 mac-poly-M8 mac-poly64-M8 at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp at-sml-dev sun-poly"
 
 ISABELLE_SESSIONS="\
   HOL-Plain \