apparently, setting ISABELLE_GHC makes ghc unusable
apparently, setting ISABELLE_GHC makes ghc unusable

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle