# HG changeset patch
# User wenzelm
# Date 1283793815 -7200
# Node ID 75e096565cd351ae432042fa9b6860a90668a312
# Parent  0dec18004e75ae558da3f8b0c798dce622d7ddbc
isatest: back to polyml-5.3.0 due to unresolved stability issues of polyml-5.4.0 and HOL/Decision_Procs/Approximation_Ex.thy;

diff -r 0dec18004e75 -r 75e096565cd3 Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Sep 06 19:13:10 2010 +0200
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Sep 06 19:23:35 2010 +0200
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/polyml/polyml-svn"
-  ML_SYSTEM="polyml-5.4.0"
+  POLYML_HOME="/home/polyml/polyml-5.3.0"
+  ML_SYSTEM="polyml-5.3.0"
   ML_PLATFORM="x86-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="--mutable 800 --immutable 2000"