This is a mirror of http://www.vim.org/scripts/script.php?script_id=4509
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:
gi IF-THEN-ELSE
ga CASE
go CASE-OTHER
glc LET IN /.../\
gld LET IN /.../
cc comments one line
cu cancelthe comments of one line
qp comments paragraph
qe comments in the end of one line
TLA_Tla2Tex()
TLA_Tla2TexArguments()(-ptSize -textwidth -textheight)
pcal.trans
pcal.trans with Arguments()
tla2sany.SANY
tla2sany.SANY with Arguments(-s ,-d)
tlc2.TLC
tlc2.TLC with Arguments(-deadlock -simulate -depth -seed -aril -coverage -recover -cleanup -difftrace -terse -workers -config -nowarning )