1.1 --- a/Admin/isatest/settings/mac-poly-M2	Mon Jul 14 15:39:23 2014 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly-M2	Tue Jul 15 11:13:43 2014 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  ML_HOME="/home/polyml/polyml-5.5.0/$ML_PLATFORM"
     1.5  ML_OPTIONS="-H 500"
     1.6  
     1.7 +ISABELLE_GHC=/opt/local/bin/ghc
     1.8  
     1.9  ISABELLE_HOME_USER=~/isabelle-mac-poly-M2
    1.10