Re: TLA under Eclipse

[Amira Methni <methni...@xxxxxxxxx>]

Thank you all for your help.

Amira

Le vendredi 24 janvier 2014 11:24:32 UTC+1, Amira Methni a écrit :

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