[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 ?