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

Re: [tlaplus] TLA under Eclipse


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,


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


I want to install the TLA plugin for tla specification under Eclipse.
I've followed steps described on this site  : 
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 ?


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.