switched parallel sessions to polyml-5.2.1;
authorwenzelm
Thu Oct 23 13:51:54 2008 +0200 (2008-10-23)
changeset 28669fdae33134bbf
parent 28668 e79e196039a1
child 28670 f8bd813b41f9
switched parallel sessions to polyml-5.2.1;
Admin/isatest/settings/at-mac-poly-5.1-para
Admin/isatest/settings/at-poly-5.1-para-e
Admin/isatest/settings/at64-poly-5.1-para
     1.1 --- a/Admin/isatest/settings/at-mac-poly-5.1-para	Thu Oct 23 00:24:31 2008 +0200
     1.2 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Thu Oct 23 13:51:54 2008 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  # -*- shell-script -*-
     1.5  
     1.6 -  POLYML_HOME="/home/polyml/polyml-cvs"
     1.7 -  ML_SYSTEM="polyml-cvs"
     1.8 +  POLYML_HOME="/home/polyml/polyml-5.2.1"
     1.9 +  ML_SYSTEM="polyml-5.2.1"
    1.10    ML_PLATFORM="x86-darwin"
    1.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.12    ML_OPTIONS="-H 2000"
     2.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Thu Oct 23 00:24:31 2008 +0200
     2.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Thu Oct 23 13:51:54 2008 +0200
     2.3 @@ -1,7 +1,7 @@
     2.4  # -*- shell-script -*-
     2.5  
     2.6 -  POLYML_HOME="/home/polyml/polyml-5.2"
     2.7 -  ML_SYSTEM="polyml-5.2"
     2.8 +  POLYML_HOME="/home/polyml/polyml-5.2.1"
     2.9 +  ML_SYSTEM="polyml-5.2.1"
    2.10    ML_PLATFORM="x86-linux"
    2.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.12    ML_OPTIONS="-H 500"
     3.1 --- a/Admin/isatest/settings/at64-poly-5.1-para	Thu Oct 23 00:24:31 2008 +0200
     3.2 +++ b/Admin/isatest/settings/at64-poly-5.1-para	Thu Oct 23 13:51:54 2008 +0200
     3.3 @@ -1,7 +1,7 @@
     3.4  # -*- shell-script -*-
     3.5  
     3.6 -  POLYML_HOME="/home/polyml/polyml-5.2"
     3.7 -  ML_SYSTEM="polyml-5.2"
     3.8 +  POLYML_HOME="/home/polyml/polyml-5.2.1"
     3.9 +  ML_SYSTEM="polyml-5.2.1"
    3.10    ML_PLATFORM="x86_64-linux"
    3.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.12    ML_OPTIONS="-H 500"