---

Ⅰ. 插件描述

TLA+ plugin for Gvim

Ⅱ. 基本信息

创建日期：  2013-05-14 使用用户：  2 Github星：  1 插件作者：  xing chao

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin '/tla'

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

:source %
:PluginInstall

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

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle '/tla'

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

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug '/tla'

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

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

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

Ⅳ. 文档说明

this is a plugin for TLA+ language,although TLA+ toolbox already exists,but it is fun to create this .for more information about this lauguage ,access www.lamport.org

the hotkeys as follows:
<leader>gi IF-THEN-ELSE    
<leader>ga CASE
<leader>go CASE-OTHER
<leader>glc LET IN /.../
<leader>gld LET IN /.../

<leader>cc  comments one line  
<leader>cu  cancelthe comments of one line  
<leader>qp comments paragraph
<leader>qe comments in the end of one line

<F5>  TLA_Tla2Tex()
<F6>  TLA_Tla2TexArguments()(-ptSize -textwidth -textheight)
<F7>   pcal.trans
<F8>   pcal.trans with  Arguments()
<F9>   tla2sany.SANY
<F10>  tla2sany.SANY with  Arguments(-s ,-d)
<F11>  tlc2.TLC
<F12>  tlc2.TLC with Arguments(-deadlock -simulate -depth -seed -aril -coverage -recover -cleanup -difftrace -terse -workers -config -nowarning )