summaryrefslogtreecommitdiffstats
path: root/ftdetect
diff options
context:
space:
mode:
authorAdam Stankiewicz <sheerun@sher.pl>2019-06-08 12:46:43 +0200
committerAdam Stankiewicz <sheerun@sher.pl>2019-06-08 12:46:43 +0200
commit7aae831309b9ce8c8cf07d21673aa4e36d774edb (patch)
tree3dbdfaae2f6f21904e38516aa4845998b789e97b /ftdetect
parent671078ef6c851b688b63165761cec82f9f6e03f7 (diff)
downloadvim-polyglot-7aae831309b9ce8c8cf07d21673aa4e36d774edb.tar.gz
vim-polyglot-7aae831309b9ce8c8cf07d21673aa4e36d774edb.zip
Add tptp syntax
Diffstat (limited to 'ftdetect')
-rw-r--r--ftdetect/polyglot.vim13
1 files changed, 13 insertions, 0 deletions
diff --git a/ftdetect/polyglot.vim b/ftdetect/polyglot.vim
index d6a7fea1..a3130217 100644
--- a/ftdetect/polyglot.vim
+++ b/ftdetect/polyglot.vim
@@ -1343,6 +1343,19 @@ autocmd BufNewFile,BufRead *.toml,Gopkg.lock,Cargo.lock,*/.cargo/config,*/.cargo
augroup end
endif
+if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'tptp') == -1
+ augroup filetypedetect
+ " tptp, from tptp.vim in c-cube/vim-tptp
+
+au BufRead,BufNewFile *.p set filetype=tptp
+au BufRead,BufNewFile *.p set syntax=tptp
+au BufRead,BufNewFile *.tptp set filetype=tptp
+au BufRead,BufNewFile *.tptp set syntax=tptp
+au BufRead,BufNewFile *.ax set filetype=tptp
+au BufRead,BufNewFile *.ax set syntax=tptp
+ augroup end
+endif
+
if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'twig') == -1
augroup filetypedetect
" twig, from twig.vim in lumiliet/vim-twig