|
|
@ -100,14 +100,18 @@ let g:opamshare = substitute(system('opam config var share'),'\n$','','''') |
|
|
|
execute "set rtp+=" . g:opamshare . "/merlin/vim" |
|
|
|
"" ocp-indent |
|
|
|
execute "set rtp^=" . g:opamshare . "/ocp-indent/vim" |
|
|
|
"" eliom |
|
|
|
autocmd BufNewFile,BufRead *.eliom set syntax=ocaml |
|
|
|
"" why3 |
|
|
|
autocmd BufNewFile,BufRead *.why,*.mlw set filetype=why3 |
|
|
|
"" ocamllex and menhir |
|
|
|
autocmd BufNewFile,BufRead *.mll,*.mly set syntax=ocaml |
|
|
|
""" dream |
|
|
|
autocmd BufNewFile,BufRead *.eml.ml set syntax=html |
|
|
|
|
|
|
|
augroup snt |
|
|
|
autocmd! |
|
|
|
"" eliom |
|
|
|
autocmd BufNewFile,BufRead *.eliom set syntax=ocaml |
|
|
|
"" why3 |
|
|
|
autocmd BufNewFile,BufRead *.why,*.mlw set filetype=why3 |
|
|
|
"" ocamllex and menhir |
|
|
|
autocmd BufNewFile,BufRead *.mll,*.mly set syntax=ocaml |
|
|
|
""" dream |
|
|
|
autocmd BufNewFile,BufRead *.eml.ml set syntax=html |
|
|
|
augroup END |
|
|
|
|
|
|
|
let g:vim_markdown_folding_disabled = 1 |
|
|
|
let g:vim_markdown_conceal = 0 |
|
|
|