Browse Source

vim coq

master
katherine 2 months ago
parent
commit
b7b33a847f
  1. 14
      .vimrc

14
.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

Loading…
Cancel
Save