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

Re: problem with installation

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.

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