[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Fatal error starting 1.5.2 on macOS Sierra, and a solution.
Thank you Marcus. I am actually running the TLAPlus toolbox from the /Applications folder, and I also sudo mv'd it into that folder. But the problem remains.
In any case, it looks like this is a temporary issue, and I will look forward to the next release. By the looks of it, there seems to be a good number of commits that are ready for public consumption.