Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/).
It's really basic but provides basic coloration for keywords and variables.
Copy the files into ~/.vim
or, with vundle:
Plugin 'c-cube/vim-tptp'| Name | Name | Last commit date | ||
|---|---|---|---|---|
Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/).
It's really basic but provides basic coloration for keywords and variables.
Copy the files into ~/.vim
or, with vundle:
Plugin 'c-cube/vim-tptp'