Undo History

Sequence of reversible editing operations.