Major changes between ISE Eiffel 4.5 and ISE Eiffel 5.0

82179716-24e3-0aa1-7562-bf0a87c05749
cached: 08/21/2017 7:23:10.000 AM