Re: problem with installation

[Leslie Lamport <tlapl...@xxxxxxxxx>]

In off-line correspondence, it turned out that Mauro's problem was that he had not run
either TLC or TLAPS on his spec.  A console  displays the output of a tool called by
the Toolbox.  Since no tool had been run, there was nothing to display and hence there
was no console.

 

Leslie

On Monday, December 16, 2013 1:02:06 PM UTC-8, 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?

thanks in advance

mauro