1.1 --- a/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Fri Jul 25 15:01:18 2014 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Fri Jul 25 16:50:49 2014 +0200
     1.3 @@ -2,11 +2,11 @@
     1.4  
     1.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     1.6  
     1.7 -  POLYML_HOME="/home/polyml/polyml-5.5.0"
     1.8 -  ML_SYSTEM="polyml-5.5.0"
     1.9 +  POLYML_HOME="/home/polyml/polyml-5.4.1"
    1.10 +  ML_SYSTEM="polyml-5.4.1"
    1.11    ML_PLATFORM="x86-darwin"
    1.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.13 -  ML_OPTIONS="-H 1000 --gcthreads 8"
    1.14 +  ML_OPTIONS="-H 1000"
    1.15  
    1.16  ISABELLE_GHC=ghc
    1.17