[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Trouble Running Toolbox on macOS Sierra
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 . We recently fixed a bug with a
> similar description .
>  http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/
>  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).