[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Trouble Running Toolbox on macOS Sierra
On 28.09.2017 20:15, rap...@xxxxxxxxxxxx wrote:
> I, too, find the TLA+ Toolbox not to work. I am on macOS High Sierra (Version 10.13). But where the OP does not even see the Toolbox window, I do see the window; however it is unresponsive: the link "Getting Started," e.g., doesn't work. The menu is also unresponsive (i.e. when the app is active, I cannot, e.g., get the 'File' menu to drop down; a click just doesn't register.)
you too should try a nightly build . We recently fixed a bug with a
similar description .