updated to polyml-5.4.1;
authorwenzelm
Sat Oct 15 16:58:37 2011 +0200 (2011-10-15 ago)
changeset 4514833f0c4a1d25b
parent 45147 c23029f6357f
child 45149 22ff7e226946
updated to polyml-5.4.1;
Admin/isatest/settings/cygwin-poly-e
Admin/isatest/settings/mac-poly64-M4
Admin/isatest/settings/mac-poly64-M8
     1.1 --- a/Admin/isatest/settings/cygwin-poly-e	Sat Oct 15 15:55:10 2011 +0200
     1.2 +++ b/Admin/isatest/settings/cygwin-poly-e	Sat Oct 15 16:58:37 2011 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  
     1.6 -  POLYML_HOME="/home/isatest/polyml-svn"
     1.7 -  ML_SYSTEM="polyml-5.4.2"
     1.8 +  POLYML_HOME="/home/isatest/polyml-5.4.1"
     1.9 +  ML_SYSTEM="polyml-5.4.1"
    1.10    ML_PLATFORM="x86-cygwin"
    1.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.12    ML_OPTIONS="-H 200"
     2.1 --- a/Admin/isatest/settings/mac-poly64-M4	Sat Oct 15 15:55:10 2011 +0200
     2.2 +++ b/Admin/isatest/settings/mac-poly64-M4	Sat Oct 15 16:58:37 2011 +0200
     2.3 @@ -1,7 +1,7 @@
     2.4  # -*- shell-script -*- :mode=shellscript:
     2.5  
     2.6 -  POLYML_HOME="/home/polyml/polyml-svn"
     2.7 -  ML_SYSTEM="polyml-5.4.2"
     2.8 +  POLYML_HOME="/home/polyml/polyml-5.4.1"
     2.9 +  ML_SYSTEM="polyml-5.4.1"
    2.10    ML_PLATFORM="x86_64-darwin"
    2.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.12    ML_OPTIONS="-H 2000 --gcthreads 4"
     3.1 --- a/Admin/isatest/settings/mac-poly64-M8	Sat Oct 15 15:55:10 2011 +0200
     3.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Sat Oct 15 16:58:37 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.2"
     3.8 +  POLYML_HOME="/home/polyml/polyml-5.4.1"
     3.9 +  ML_SYSTEM="polyml-5.4.1"
    3.10    ML_PLATFORM="x86_64-darwin"
    3.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.12    ML_OPTIONS="-H 2000 --gcthreads 4"