# HG changeset patch
# User wenzelm
# Date 1267739330 -3600
# Node ID 4af56a1c4c7defd3951a4634d0ebd20c61ad92cf
# Parent  0e30eef52d857763722910985020cec2e15a7461
switch to polyml-svn;

diff -r 0e30eef52d85 -r 4af56a1c4c7d Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Thu Mar 04 22:48:16 2010 +0100
+++ b/Admin/isatest/settings/at-poly-test	Thu Mar 04 22:48:50 2010 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/polyml/polyml-5.3.0"
+  POLYML_HOME="/home/polyml/polyml-svn"
   ML_SYSTEM="polyml-5.3.0"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"