updated to Poly/ML SVN 1328, which is considered 5.4.2;
authorwenzelm
Sat Jul 16 18:11:14 2011 +0200 (2011-07-16)
changeset 43846e6226e100ac5
parent 43845 d89353d17f54
child 43847 529159f81d06
updated to Poly/ML SVN 1328, which is considered 5.4.2;
Admin/isatest/settings/at-poly-test
Admin/isatest/settings/cygwin-poly-e
Admin/isatest/settings/mac-poly64-M4
Admin/isatest/settings/mac-poly64-M8
     1.1 --- a/Admin/isatest/settings/at-poly-test	Sat Jul 16 17:11:49 2011 +0200
     1.2 +++ b/Admin/isatest/settings/at-poly-test	Sat Jul 16 18:11:14 2011 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  
     1.6    POLYML_HOME="/home/polyml/polyml-svn"
     1.7 -  ML_SYSTEM="polyml-5.4.1"
     1.8 +  ML_SYSTEM="polyml-5.4.2"
     1.9    ML_PLATFORM="x86-linux"
    1.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.11    ML_OPTIONS="-H 500"
     2.1 --- a/Admin/isatest/settings/cygwin-poly-e	Sat Jul 16 17:11:49 2011 +0200
     2.2 +++ b/Admin/isatest/settings/cygwin-poly-e	Sat Jul 16 18:11:14 2011 +0200
     2.3 @@ -1,7 +1,7 @@
     2.4  # -*- shell-script -*- :mode=shellscript:
     2.5  
     2.6    POLYML_HOME="/home/isatest/polyml-svn"
     2.7 -  ML_SYSTEM="polyml-5.4.1"
     2.8 +  ML_SYSTEM="polyml-5.4.2"
     2.9    ML_PLATFORM="x86-cygwin"
    2.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.11    ML_OPTIONS="-H 200"
     3.1 --- a/Admin/isatest/settings/mac-poly64-M4	Sat Jul 16 17:11:49 2011 +0200
     3.2 +++ b/Admin/isatest/settings/mac-poly64-M4	Sat Jul 16 18:11:14 2011 +0200
     3.3 @@ -1,7 +1,7 @@
     3.4  # -*- shell-script -*- :mode=shellscript:
     3.5  
     3.6    POLYML_HOME="/home/polyml/polyml-svn"
     3.7 -  ML_SYSTEM="polyml-5.4.1"
     3.8 +  ML_SYSTEM="polyml-5.4.2"
     3.9    ML_PLATFORM="x86_64-darwin"
    3.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.11    ML_OPTIONS="-H 2000 --gcthreads 4"
     4.1 --- a/Admin/isatest/settings/mac-poly64-M8	Sat Jul 16 17:11:49 2011 +0200
     4.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Sat Jul 16 18:11:14 2011 +0200
     4.3 @@ -1,7 +1,7 @@
     4.4  # -*- shell-script -*- :mode=shellscript:
     4.5  
     4.6    POLYML_HOME="/home/polyml/polyml-svn"
     4.7 -  ML_SYSTEM="polyml-5.4.1"
     4.8 +  ML_SYSTEM="polyml-5.4.2"
     4.9    ML_PLATFORM="x86_64-darwin"
    4.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    4.11    ML_OPTIONS="-H 2000 --gcthreads 4"