--- a/Admin/isatest/settings/mac-poly-M2 Mon Sep 17 15:38:16 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M2 Mon Sep 17 15:52:50 2012 +0200
@@ -6,7 +6,7 @@
ML_SYSTEM="polyml-5.5.0"
ML_PLATFORM="x86-darwin"
-ML_HOME="/home/polyml/polyml-svn/$ML_PLATFORM"
+ML_HOME="/home/polyml/polyml-5.5.0/$ML_PLATFORM"
ML_OPTIONS="-H 500"
--- a/Admin/isatest/settings/mac-poly-M4 Mon Sep 17 15:38:16 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M4 Mon Sep 17 15:52:50 2012 +0200
@@ -2,7 +2,7 @@
init_components /home/isabelle/contrib "$HOME/admin/components/main"
- POLYML_HOME="/home/polyml/polyml-svn"
+ POLYML_HOME="/home/polyml/polyml-5.5.0"
ML_SYSTEM="polyml-5.5.0"
ML_PLATFORM="x86-darwin"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
--- a/Admin/isatest/settings/mac-poly-M8 Mon Sep 17 15:38:16 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M8 Mon Sep 17 15:52:50 2012 +0200
@@ -2,7 +2,7 @@
init_components /home/isabelle/contrib "$HOME/admin/components/main"
- POLYML_HOME="/home/polyml/polyml-svn"
+ POLYML_HOME="/home/polyml/polyml-5.5.0"
ML_SYSTEM="polyml-5.5.0"
ML_PLATFORM="x86-darwin"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"