[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