| changeset 57579 | c1e24d017918 |
| parent 57560 | bc957769b584 |
| child 57585 | ce06a901c050 |
--- a/Admin/isatest/settings/mac-poly-M2 Sat Jul 19 21:20:38 2014 +0200 +++ b/Admin/isatest/settings/mac-poly-M2 Sat Jul 19 21:32:54 2014 +0200 @@ -9,7 +9,7 @@ ML_HOME="/home/polyml/polyml-5.5.0/$ML_PLATFORM" ML_OPTIONS="-H 500" -ISABELLE_GHC=/opt/local/bin/ghc +#ISABELLE_GHC=/opt/local/bin/ghc ISABELLE_HOME_USER=~/isabelle-mac-poly-M2