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?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
