changes.mady.by.user Unknown User (cmot)
Saved on Sep 09, 2013
...
Traces of Esterel programs are usually given as esi ESIor eso ESO files. The following tools to work with esi and eso files are installed in /home/esterel/bin