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

TLA under Eclipse


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 ?