1.1 --- a/Admin/isatest/settings/mac-poly-M4	Sat Apr 14 19:09:34 2012 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly-M4	Sat Apr 14 20:10:10 2012 +0200
     1.3 @@ -1,10 +1,10 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  
     1.6 -  POLYML_HOME="/home/polyml/polyml-5.4.1"
     1.7 -  ML_SYSTEM="polyml-5.4.1"
     1.8 +  POLYML_HOME="/home/polyml/polyml-svn"
     1.9 +  ML_SYSTEM="polyml-5.4.2"
    1.10    ML_PLATFORM="x86-darwin"
    1.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.12 -  ML_OPTIONS="-H 1000"
    1.13 +  ML_OPTIONS="-H 500 --gcthreads 4 --gcshare 0"
    1.14  
    1.15  
    1.16  ISABELLE_HOME_USER=~/isabelle-mac-poly-M4

     2.1 --- a/Admin/isatest/settings/mac-poly-M8	Sat Apr 14 19:09:34 2012 +0200
     2.2 +++ b/Admin/isatest/settings/mac-poly-M8	Sat Apr 14 20:10:10 2012 +0200
     2.3 @@ -1,10 +1,10 @@
     2.4  # -*- shell-script -*- :mode=shellscript:
     2.5  
     2.6 -  POLYML_HOME="/home/polyml/polyml-5.4.1"
     2.7 -  ML_SYSTEM="polyml-5.4.1"
     2.8 +  POLYML_HOME="/home/polyml/polyml-svn"
     2.9 +  ML_SYSTEM="polyml-5.4.2"
    2.10    ML_PLATFORM="x86-darwin"
    2.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.12 -  ML_OPTIONS="-H 1000"
    2.13 +  ML_OPTIONS="-H 500 --gcthreads 8 --gcshare 0"
    2.14  
    2.15  
    2.16  ISABELLE_HOME_USER=~/isabelle-mac-poly-M8

     3.1 --- a/Admin/isatest/settings/mac-poly64-M4	Sat Apr 14 19:09:34 2012 +0200
     3.2 +++ b/Admin/isatest/settings/mac-poly64-M4	Sat Apr 14 20:10:10 2012 +0200
     3.3 @@ -1,10 +1,10 @@
     3.4  # -*- shell-script -*- :mode=shellscript:
     3.5  
     3.6 -  POLYML_HOME="/home/polyml/polyml-5.4.1"
     3.7 -  ML_SYSTEM="polyml-5.4.1"
     3.8 +  POLYML_HOME="/home/polyml/polyml-svn"
     3.9 +  ML_SYSTEM="polyml-5.4.2"
    3.10    ML_PLATFORM="x86_64-darwin"
    3.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.12 -  ML_OPTIONS="-H 2000 --gcthreads 4"
    3.13 +  ML_OPTIONS="-H 1000 --gcthreads 4 --gcshare 0"
    3.14  
    3.15  
    3.16  ISABELLE_HOME_USER=~/isabelle-mac-poly64-M4

     4.1 --- a/Admin/isatest/settings/mac-poly64-M8	Sat Apr 14 19:09:34 2012 +0200
     4.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Sat Apr 14 20:10:10 2012 +0200
     4.3 @@ -1,10 +1,10 @@
     4.4  # -*- shell-script -*- :mode=shellscript:
     4.5  
     4.6 -  POLYML_HOME="/home/polyml/polyml-5.4.1"
     4.7 -  ML_SYSTEM="polyml-5.4.1"
     4.8 +  POLYML_HOME="/home/polyml/polyml-svn"
     4.9 +  ML_SYSTEM="polyml-5.4.2"
    4.10    ML_PLATFORM="x86_64-darwin"
    4.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    4.12 -  ML_OPTIONS="-H 2000 --gcthreads 8"
    4.13 +  ML_OPTIONS="-H 1000 --gcthreads 8 --gcshare 0"
    4.14  
    4.15  
    4.16  ISABELLE_HOME_USER=~/isabelle-mac-poly64-M8