lib/Tools/ghc_setup
Wed, 20 Mar 2019 21:57:02 +0100 wenzelm more robust reference to ghc exe (with multi-platform support);
Sat, 22 Dec 2018 17:02:29 +0100 wenzelm tuned messages;
Thu, 08 Nov 2018 15:52:10 +0100 wenzelm always insist in specified resolver/compiler version;
Mon, 05 Nov 2018 20:53:16 +0100 wenzelm more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
Thu, 18 Oct 2018 12:30:26 +0200 wenzelm more robust: explicit version;
Wed, 17 Oct 2018 21:38:07 +0200 wenzelm support for GHC via command-line tools;
less more (0) tip