| changeset 57572 | 57932dd40916 |
| parent 57560 | bc957769b584 |
| child 57578 | f07d0711236c |
--- a/Admin/isatest/settings/afp-poly Fri Jul 18 14:21:42 2014 +0200 +++ b/Admin/isatest/settings/afp-poly Fri Jul 18 21:40:11 2014 +0200 @@ -5,7 +5,7 @@ # to be retired: # JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0" -ISABELLE_GHC=/usr/bin/ghc +ISABELLE_GHC=/opt/local/bin/ghc ISABELLE_HOME_USER=~/afp/isabelle-afp-poly