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