A pencil and eraser allows non-linear undo/redo.

Edit: Plus whiteout allows fairly simple overwrites.