diff --git a/.vimrc b/.vimrc
index 3d7ad25..9ea5193 100644
--- a/.vimrc
+++ b/.vimrc
@@ -125,6 +125,9 @@ Plug 'jiangmiao/auto-pairs'
 Plug 'rust-lang/rust.vim'
 Plug 'racer-rust/vim-racer'
 Plug 'hashivim/vim-terraform'
+Plug 'let-def/vimbufsync'
+"Plug 'lucas8/coquille', {'branch': 'error_on_coq_error', 'for': 'coq'}
+Plug 'whonore/coquille', {'branch': 'pathogen-bundle', 'for': 'coq'}
 
 call plug#end()
 
@@ -423,9 +426,15 @@ function! GoCoverlayToggle(forced)
     let g:go_coverlay_t = "t"
   endif
 endfunction
+
+
 " Toggle GoCoverlay
 au FileType go nmap <leader>c :GoCoverlayT<CR>
 
+" Coquille
+au FileType coq nmap <leader>a :CoqToCursor<CR>
+au FileType coq imap <leader>a <C-O>:CoqToCursor<CR>
+
 " Make the Quickfix window respond well to commands (for instance, q to close,
 " Enter to select, etc). In tandem with the above.
 augroup QFixToggle
@@ -435,6 +444,7 @@ augroup QFixToggle
  autocmd BufWinLeave * if exists("g:qfix_win") && expand("<abuf>") == g:qfix_win | unlet! g:qfix_win | endif
 augroup END
 
+
 " Execute a command that pipes output to window. Captures output into a new,
 " appropriately titled, buffer.
 function! s:ExecuteInShellOutput(command)