vim coq

1 files changed, 12 insertions, 2 deletions

diff --git a/.vimrc b/.vimrc
index b1bdb02..525be82 100644
--- a/.vimrc
+++ b/.vimrc
@@ -17,7 +17,6 @@ Plug 'vim-crystal/vim-crystal'
 Plug 'elixir-lang/vim-elixir'
 Plug 'https://git.airen-no-jikken.icu/ageha/every.vim.git'
 Plug 'pangloss/vim-javascript'
-Plug 'MaxMEllon/vim-jsx-pretty'
 Plug 'JuliaEditorSupport/julia-vim'
 Plug 'leanprover/lean.vim'
 Plug 'plasticboy/vim-markdown'
@@ -26,6 +25,10 @@ Plug 'rust-lang/rust.vim'
 Plug 'cakebaker/scss-syntax.vim'
 Plug 'cespare/vim-toml'
 
+if has('python3')
+    Plug 'whonore/Coqtail'
+endif
+
 "FUNCTIONALITY
 Plug 'junegunn/vim-easy-align'
 
@@ -232,7 +235,7 @@ fun! s:bufflist()
 		set nomore
 		execute "buffers"
 		set more
-	elseif
+	else
 		execute "buffers"
 	endif
 endfun
@@ -287,6 +290,7 @@ if has('autocmd')
 		au FileType c          call <SID>settings_c()
 		au FileType coffee     call <SID>settings_coffee()
 		au FileType conf       call <SID>settings_conf()
+		au FileType coq        call <SID>settings_coq()
 		au FileType cpp        call <SID>settings_c()
 		au FileType crystal    call <SID>settings_crystal()
 		au FileType cs         call <SID>settings_c()
@@ -420,6 +424,12 @@ fun! s:settings_conf()
 	setlocal expandtab
 endfun
 
+fun! s:settings_coq()
+	call <SID>settings_ocaml()
+	nnoremap <buffer> <Leader>x :$CoqToLine<CR>
+	nnoremap <buffer> <Leader>z :CoqToTop<CR>
+endfun
+
 fun! s:settings_crystal()
 	call <SID>settings_script2()
 	setlocal expandtab