[isabelle-dev] NEWS: support for GHC

Makarius makarius at sketis.net
Sun Oct 21 19:16:39 CEST 2018

On 21/10/2018 17:34, Lars Hupel wrote:
>> On an El Capitan system, this produces the following error:
> The problem can alternatively be solved by installing Homebrew's stack
> version and declaring
> ISABELLE_STACK="/usr/local/bin/stack"
> in ~/.isabelle/etc/settings.

Can you actually explain the problem and its solution?


More information about the isabelle-dev mailing list