---

Ⅰ. 插件描述

Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/)

Ⅱ. 基本信息

创建日期：  2015-01-14 使用用户：  1 Github星：  3 插件作者：  Simon Cruanes

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin 'c-cube/vim-tptp'

… 然后在Vim中运行以下命令:

:source %
:PluginInstall

对于Vundle版本 < 0.10.2，请用上面的Bundle替换Plugin。

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle 'c-cube/vim-tptp'

… 然后在Vim中运行以下命令:

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug 'c-cube/vim-tptp'

… 然后在Vim中运行以下命令:

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

cd ~/.vim/bundle
git clone https://github.com/c-cube/vim-tptp

Ⅳ. 文档说明

# vim-tptp

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.

Installation

Copy the files into ~/.vim

or, with vundle:

Plugin 'c-cube/vim-tptp'