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