TLA under Eclipse

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

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