diff --git a/.gitignore b/.gitignore
index 13b0a9c0d9..e9da0c6a71 100644
--- a/.gitignore
+++ b/.gitignore
@@ -135,12 +135,3 @@ examples/l3-machine-code/**/*-heap
 *Script_ttt.sml
 *.tttsave
 /TAGS
-
-# stale file
-hol-mode.el
-
-#Auto-generated files by VIM
-vim/filetype.vim
-vim/hol-config.sml
-vim/hol.vim
-vim/vimhol.sml