---

Ⅰ. 插件描述

TLA+ specification language

Ⅱ. 基本信息

创建日期：  2013-02-13 使用用户：  3 Github星：  2 插件作者：  Diego Ongaro

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin '/tla-vim'

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

:source %
:PluginInstall

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

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle '/tla-vim'

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

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug '/tla-vim'

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

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

cd ~/.vim/bundle
git clone https://github.com/vim-scripts/tla.vim

Ⅳ. 文档说明

Syntax highlighting for the TLA+ specification language. TLA stands for the Temporal Logic of Actions.

The TLA home page is: http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html
It says: "TLA+ is based on the idea that the best way to describe things formally is with simple mathematics, and that a specification language should contain as little as possible beyond what is needed to write simple mathematics precisely. TLA+ is especially well suited for writing high-level specifications of concurrent and distributed systems."