[[Property:title|Major changes between ISE Eiffel 4.5 and ISE Eiffel 5.0]]
[[Property:link_title|5.0]]
[[Property:weight|-7]]
[[Property:uuid|82179716-24e3-0aa1-7562-bf0a87c05749]]
*  [[Assertions checking configuration changes|Assertions checking]]  
*  [[EiffelThread differences from 4.5 to 5.0|EiffelThread]]  
*  [[Compiler differences from 4.5 to 5.0|Miscellaneous]]  




