This requires ISE's Personal Eiffel for Windows.  It is NOT for the free
version. All terms of the ISE end-user license apply.

This is a patch for ISE's Personal Eiffel for Windows

It fixes two specific problems and  a general problem with the
usage of memory.  The two specific problems are the freeing of resources
at the end of execution and the changing of colors through the eifinit file.
The second manifests as an increased flashing when a color is set.

To install the patch copy all the files in this ZIP to the directory where
es3 resides. 

If you installed in C:\EIFFEL3 this will be C:\EIFFEL3\bench\spec\winpers\bin.

You may want to make a backup of es3.exe first.

Run patch.

You now have an updated compiler with the problems solved.

You should also apply the patch for the precompiles as well.

Happy Eiffeling.