RELEASE NOTES FOR THE ESTEREL V5_21 SYSTEM

CHANGES FROM V5_10

The changes between the previous v5_10 release and the new v5_21 release
are:

ESTEREL INSTALLATION

XES IMPROVEMENTS


VERIFICATION TOOLS

The verification tools are distributed by the Verification group of
the Meije project:

http://www.inria.fr/meije/verification

The main tool is the X-window based Esterel Verification Environment (xeve).
 

COPYRIGHT

You must read the COPYRIGHT file before using Esterel v5. Please make
sure that you understand the copyright and license information before
using this release.
 

NOTES

On Solaris architecture, do not compile a tty-simulation program (libcsimul.a) with /usr/ucb/cc. Use instead SparcWorks cc, or gcc.The reason is that csimul uses setjmp, and the headers of
/usr/ucb/cc are incompatible with those of the other compilers.
 

MAIL ADDRESSES

Remember our mail addresses:
esterel-request@sophia.inria.fr : direct Esterel team access.
esterel-users@sophia.inria.fr : users forum.
esterel-bugs@sophia.inria.fr : as it says.