[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 :)