gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

vim: add tptp support.

Browse Source
This commit is contained in:
Gabriel Ebner 2015-09-15 19:20:37 +02:00
parent d306a9a82f
commit aa5a78204f
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
vimrc
View File

@ -103,6 +103,8 @@ Plug 'urbit/hoon.vim'
Plug 'ahf/twelf-syntax' Plug 'ahf/twelf-syntax'
Plug 'c-cube/vim-tptp'
call plug#end() call plug#end()
filetype plugin indent on filetype plugin indent on
@ -119,6 +121,9 @@ au BufNewFile,BufRead *.vala setf cs
au BufNewFile,BufRead *.md set ft=markdown au BufNewFile,BufRead *.md set ft=markdown
au syntax java set ts=4 sts=4 sw=4 au syntax java set ts=4 sts=4 sw=4
au BufNewFile,BufRead *.i set ft=swig au BufNewFile,BufRead *.i set ft=swig
au BufNewFile,BufRead *.s set ft=tptp
au BufNewFile,BufRead *.s.out set ft=tptp
au BufNewFile,BufRead *.tptp set ft=tptp
au BufReadCmd *.epub call zip#Browse(expand("<amatch>")) au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))
au syntax haskell setl omnifunc=necoghc#omnifunc au syntax haskell setl omnifunc=necoghc#omnifunc
let g:necoghc_enable_detailed_browse=1 let g:necoghc_enable_detailed_browse=1