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