Remove replace mapping ; :. Add gundo plugin and set toggle to F6.