You are in:
Documentation Home
Tools
EiffelStudio
EiffelStudio Reference
Compiler
Compiler History
Major changes between ISE Eiffel 4.5 and ISE Eiffel 5.0
Topics:
Compiler differences from 4.5 to 5.0
Assertions checking configuration changes