Re: [tlaplus] problem with installation

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 12/16/2013 10:02 PM, Bert_emme wrote:
> hi, sorry for the probably stupid question, but i don't reach the
> solution...
> I had buy a new computer and so I have to re-install TLA. My system is a
> 64-bit windows 8
> but i think that  is a unusefull information
> When I start the tla, the program don't run and produce this error in a
> log file of eclipse:
> !MESSAGE An error occurred while automatically activating bundle
> org.eclipse.core.resources (30)
> !MESSAGE An error occurred while automatically activating bundle
> org.lamport.tla.toolbox (122).
> Where I have to put this file or resourse?

Hi Mauro,

Can you attach the full content of the log file? Also, please attach a
directory listing of the toolbox installation?

Btw. I just confirmed that a recent Toolbox (1.4.7) starts on Win8
(32bit) with Java 7u45.

Thanks
Markus