# HG changeset patch
# User kleing
# Date 1405797638 -7200
# Node ID f07d0711236c3e82443c4de6d455dac9c91cb249
# Parent  e848a17d9deeca00a1f4428cd15aa3ca932770fc
apparently, setting ISABELLE_GHC makes ghc unusable

diff -r e848a17d9dee -r f07d0711236c Admin/isatest/settings/afp-poly
--- 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