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

Re: TLA+ Toolbox 1.5.2 release



That did not work for me. (I tried both, first with the old workspace directory parachuted in and then without.)
The new TLA+ toolbox.app fails to start, leaving the attached 288kB error log in .../TLA+ Toolbox.app/Contents/Eclipse/configuration.
Edit: this is happening on Mac OS X 10.9.5 with Java 8 Update 66.

Attachment: 1452210124206.log
Description: Binary data