Emacs command for redo is:
C-g C-/