1.1 --- a/Admin/isatest/settings/at-poly	Mon Jul 14 15:39:23 2014 +0200
     1.2 +++ b/Admin/isatest/settings/at-poly	Tue Jul 15 11:13:43 2014 +0200
     1.3 @@ -8,6 +8,8 @@
     1.4    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     1.5    ML_OPTIONS="-H 500"
     1.6  
     1.7 +ISABELLE_GHC=/usr/bin/ghc
     1.8 +
     1.9  ISABELLE_HOME_USER=~/isabelle-at-poly
    1.10  
    1.11  # Where to look for isabelle tools (multiple dirs separated by ':').