[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Trouble Running Toolbox on macOS Sierra
On 05.10.2017 23:15, daveu...@xxxxxxxxx wrote:
> Thanks for that. I actually don't have a .tlaplus directory in my home
> directory. Is it automatically created?
>
Hi Dave,
yes the directory is create automatically. Your Toolbox appears to be
seriously broken. What do you get when you launch the Toolbox from the
Terminal with:
/Applications/TLA+\ Toolbox.app/Contents/MacOS/toolbox -debug -consoleLog
Markus