Major changes between ISE Eiffel 4.5 and ISE Eiffel 5.0

cached: 03/30/2020 7:17:02.000 AM