# HG changeset patch
# User wenzelm
# Date 1187389342 -7200
# Node ID fef33067272bcb9f6e7407faafcc5b3801636980
# Parent  3880d21d6013ac69d4cc004b469625221ac4aafd
added at-poly-5.1-para;

diff -r 3880d21d6013 -r fef33067272b Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Fri Aug 17 23:10:50 2007 +0200
+++ b/Admin/isatest/isatest-stats	Sat Aug 18 00:22:22 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"
+PLATFORMS="at-poly at-sml-dev at-mac-poly-e at64-poly-e at-poly-5.1-para"
 SESSIONS="\
   HOL \
   HOL-Algebra \