3 ms·

Gundo is great. There is also mundo, which is a fork of gundo. And, undotree, which doesn't require python support.