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