Major changes between ISE Eiffel 4.5 and ISE Eiffel 5.0

cached: 04/19/2019 1:21:17.000 PM