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

Problems running the toolkit on macOS (10.14.2)



Is anyone else having problems running the toolkit on the Mac?  When, I click on TLA+ Toolkit in Applications, the screen momentarily flashes and then nothing actually launches.

I tried a manual install from Github and homebrew cask install as well.  Also, I've tried "xattr -dr com.apple.quarantine TLA+\ Toolbox.app".  My Java SDK is current:

$ java --version
openjdk 11.0.2 2019-01-15

Any ideas?