| changeset 57578 | f07d0711236c |
| parent 57572 | 57932dd40916 |
| child 57585 | ce06a901c050 |
--- a/Admin/isatest/settings/afp-poly Sat Jul 19 18:30:43 2014 +0200 +++ b/Admin/isatest/settings/afp-poly Sat Jul 19 21:20:38 2014 +0200 @@ -5,7 +5,7 @@ # to be retired: # JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0" -ISABELLE_GHC=/opt/local/bin/ghc +# ISABELLE_GHC=/opt/local/bin/ghc ISABELLE_HOME_USER=~/afp/isabelle-afp-poly