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

Re: TLA under Eclipse

Thank you all for your help.


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

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 ?