Thank your for your responses.
In fact, I want to install TLA into Eclipse to debug TLC and understand how it works in details...
I've tried to run it from Eclipse version 3.7.2 indigo.
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