florentc/vim-tla

Vim filetype for the TLA+ specification language and proofs

语言：Vim script · GitHub 星标：24 · Fork：0

在 GitHub 上查看原仓库