lib/Tools/ghc_setup
8 months ago wenzelm 2018-11-08 always insist in specified resolver/compiler version;
8 months ago wenzelm 2018-11-05 more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
9 months ago wenzelm 2018-10-18 more robust: explicit version;
9 months ago wenzelm 2018-10-17 support for GHC via command-line tools;