# HG changeset patch
# User wenzelm
# Date 1310832674 -7200
# Node ID e6226e100ac56457d91d503bbdd1f6fcc190c113
# Parent  d89353d17f54ff353cca29188940e4110c3efcd1
updated to Poly/ML SVN 1328, which is considered 5.4.2;

diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Sat Jul 16 17:11:49 2011 +0200
+++ b/Admin/isatest/settings/at-poly-test	Sat Jul 16 18:11:14 2011 +0200
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-svn"
-  ML_SYSTEM="polyml-5.4.1"
+  ML_SYSTEM="polyml-5.4.2"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 500"
diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/cygwin-poly-e
--- a/Admin/isatest/settings/cygwin-poly-e	Sat Jul 16 17:11:49 2011 +0200
+++ b/Admin/isatest/settings/cygwin-poly-e	Sat Jul 16 18:11:14 2011 +0200
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/isatest/polyml-svn"
-  ML_SYSTEM="polyml-5.4.1"
+  ML_SYSTEM="polyml-5.4.2"
   ML_PLATFORM="x86-cygwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 200"
diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/mac-poly64-M4
--- a/Admin/isatest/settings/mac-poly64-M4	Sat Jul 16 17:11:49 2011 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4	Sat Jul 16 18:11:14 2011 +0200
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-svn"
-  ML_SYSTEM="polyml-5.4.1"
+  ML_SYSTEM="polyml-5.4.2"
   ML_PLATFORM="x86_64-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 2000 --gcthreads 4"
diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/mac-poly64-M8
--- a/Admin/isatest/settings/mac-poly64-M8	Sat Jul 16 17:11:49 2011 +0200
+++ b/Admin/isatest/settings/mac-poly64-M8	Sat Jul 16 18:11:14 2011 +0200
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-svn"
-  ML_SYSTEM="polyml-5.4.1"
+  ML_SYSTEM="polyml-5.4.2"
   ML_PLATFORM="x86_64-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 2000 --gcthreads 4"