The main novelties in Esterel v5_91 are the pre
operators for accessing the previous status or value of a signal,
a new explicit automata generator that uses the same causality as
the rest of the system, and a new recorder in the xes simulator. Also,
Ansi C code generation is now the default. The Xeve verifier is now
distributed together with the Esterel compiler.
Please remove any copy of Esterelv5_91_beta you may have tried and
use this new official version instead.
