Online Eiffel Documentation
EiffelStudio

History functionality

EiffelStudio editor provides an history functionality, i.e. Undo and Redo commands.