1.1 --- a/Admin/isatest/settings/mac-poly64-M8	Sun Oct 14 21:02:14 2012 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Mon Oct 15 15:28:56 2012 +0200
     1.3 @@ -2,8 +2,8 @@
     1.4  
     1.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     1.6  
     1.7 -  POLYML_HOME="/home/polyml/polyml-5.4.1"
     1.8 -  ML_SYSTEM="polyml-5.4.1"
     1.9 +  POLYML_HOME="/home/polyml/polyml-5.5.0"
    1.10 +  ML_SYSTEM="polyml-5.5.0"
    1.11    ML_PLATFORM="x86_64-darwin"
    1.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.13    ML_OPTIONS="-H 2000 --gcthreads 8"