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

[rap...@xxxxxxxxxxxx]

On Thursday, September 28, 2017 at 1:34:19 PM UTC-7, Markus Alexander Kuppe wrote:
> 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

Thank you, Markus: your suggestion to try the nightly build fixed my problem (it's version 1.5.4, to be precise).

Best,
Raphael