# HG changeset patch
# User wenzelm
# Date 1297191215 -3600
# Node ID 14ed42540d222dd21892216666db52ba54ca0ae8
# Parent  ae1a46cdb9cb24be4bf290942225181917216a89
some shuffling of isatest settings, to ensure coverage of polyml-5.2.1, polyml-5.3.0, polyml-5.4.0, polyml-5.4.1 (SVN), smlnj/110.72;

diff -r ae1a46cdb9cb -r 14ed42540d22 Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Tue Feb 08 17:44:53 2011 +0100
+++ b/Admin/isatest/settings/at-poly-test	Tue Feb 08 19:53:35 2011 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-svn"
-  ML_SYSTEM="polyml-5.3.0"
+  ML_SYSTEM="polyml-5.4.1"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 500"
diff -r ae1a46cdb9cb -r 14ed42540d22 Admin/isatest/settings/at-sml-dev-e
--- a/Admin/isatest/settings/at-sml-dev-e	Tue Feb 08 17:44:53 2011 +0100
+++ b/Admin/isatest/settings/at-sml-dev-e	Tue Feb 08 19:53:35 2011 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
-ML_HOME="/home/smlnj/110.67/bin"
+ML_HOME="/home/smlnj/110.72/bin"
 ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=256"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
diff -r ae1a46cdb9cb -r 14ed42540d22 Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Tue Feb 08 17:44:53 2011 +0100
+++ b/Admin/isatest/settings/at64-poly	Tue Feb 08 19:53:35 2011 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/polyml/polyml-5.3.0"
-  ML_SYSTEM="polyml-5.3.0"
+  POLYML_HOME="/home/polyml/polyml-5.2.1"
+  ML_SYSTEM="polyml-5.2.1"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 1000"