Re: [tlaplus] TLA under Eclipse

[Stephan Merz <stepha...@xxxxxxxxx>]

Hello,

in principle you are not supposed to install the Toolbox into an existing Eclipse platform but download and install it as described at http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html.

I do not know where the description that you give comes from, but it looks outdated (April 2010).

Hope this helps,

Stephan

On 24 Jan 2014, at 11:24, Amira Methni <methni...@xxxxxxxxx> wrote:

Hi,

I want to install the TLA plugin for tla specification under Eclipse.
I've followed steps described on this site  : 
https://code.google.com/p/tlaral/wiki/TlaEclipse
but I got this error : 

Could not open the editor: No editor descriptor for id org.lamport.tla.toolbox.editor.basic.TLAEditorAndPDFViewer
I'm not an expert on the platform Eclipse, could you tell me I run TLC under Eclipse ?

Thanks

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/groups/opt_out.