Mirror from http://www.dr-qubit.org/git/undo-tree.git