[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Trouble Running Toolbox on macOS Sierra


Thank you! I hadn't thought to try the nightly build, it works as expected. I just tried out the SimpleProgram spec from the video course and everything runs.

I really appreciate the quick response. Yesterday I stood up a Linux VirtualBox guest on my Mac just to run the TLA+ Toolbox, this will be much more convenient :)