From b4c72c46ac3d614c80a158179c79a6f468b7f77f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Thu, 14 Sep 2017 13:20:33 +0200
Subject: [PATCH] Vim: install coquille

---
 files/.vim/ftplugin/coq.vim | 5 +++++
 files/.vimrc                | 5 ++++-
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 files/.vim/ftplugin/coq.vim

diff --git a/files/.vim/ftplugin/coq.vim b/files/.vim/ftplugin/coq.vim
new file mode 100644
index 0000000..b900b80
--- /dev/null
+++ b/files/.vim/ftplugin/coq.vim
@@ -0,0 +1,5 @@
+nnoremap L <Esc>:CoqNext<CR>
+nnoremap H <Esc>:CoqUndo<CR>
+nnoremap <LocalLeader>c <Esc>:CoqToCursor<CR>
+nnoremap <LocalLeader>k <Esc>:CoqKill<CR>
+nnoremap <LocalLeader>l <Esc>:CoqLaunch<CR>
diff --git a/files/.vimrc b/files/.vimrc
index b93a4cc..514d6a7 100644
--- a/files/.vimrc
+++ b/files/.vimrc
@@ -1,5 +1,5 @@
-syntax on
 filetype plugin on
+syntax on
 set colorcolumn=80
 set background=dark
 set number
@@ -68,6 +68,9 @@ Plugin 'vim-airline/vim-airline-themes'
 Plugin 'vim-scripts/a.vim'
 Plugin 'rhysd/vim-clang-format'
 Plugin 'christoomey/vim-tmux-navigator'
+Plugin 'chrisbra/csv.vim'
+Plugin 'let-def/vimbufsync'
+Plugin 'the-lambda-church/coquille'
 
 call vundle#end()            " required
 filetype plugin indent on    " required