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

Re: TLA+ Toolbox 1.5.2 release

From: "ka...@xxxxxxxxxxxxxxx" <ka...@xxxxxxxxxxxxxxx>
Date: Thu, 7 Jan 2016 16:02:02 -0800 (PST)
References: <567E5EEB.5000201@lemmster.de>

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

Follow-Ups:
- Re: [tlaplus] Re: TLA+ Toolbox 1.5.2 release
  - From: Markus Alexander Kuppe

References:
- TLA+ Toolbox 1.5.2 release
  - From: Markus Alexander Kuppe

Prev by Date: Re: Tagged formulas
Next by Date: Re: Tagged formulas
Previous by thread: TLA+ Toolbox 1.5.2 release
Next by thread: Re: [tlaplus] Re: TLA+ Toolbox 1.5.2 release
Index(es):
- Date
- Thread