# HG changeset patch
# User wenzelm
# Date 1243776583 -7200
# Node ID 39fe8093b1dfda2ec2ab52a084f8c778a3e7efb0
# Parent  3c7b40548a84f16ba6490e306948d94763f08da7
test experimental Poly/ML 5.3;

diff -r 3c7b40548a84 -r 39fe8093b1df Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Sun May 31 15:27:19 2009 +0200
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Sun May 31 15:29:43 2009 +0200
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/polyml/polyml-5.2.1"
-  ML_SYSTEM="polyml-5.2.1"
+  POLYML_HOME="/home/polyml/polyml-svn"
+  ML_SYSTEM="polyml-experimental"
   ML_PLATFORM="x86-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="--mutable 800 --immutable 2000"