Redoing history implementation