Re: [tlaplus] Re: Trouble Running Toolbox on macOS Sierra

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

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.)

Hi Raphael,

you too should try a nightly build [1]. We recently fixed a bug with a
similar description [2].

Thanks

Markus

[1] http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/

[2] https://github.com/tlaplus/tlaplus/issues/74