Major changes between ISE Eiffel 4.5 and ISE Eiffel 5.0

82179716-24e3-0aa1-7562-bf0a87c05749