sponsor Vim development Vim logo Vim Book Ad

tla.vim : TLA+ specification language

 script karma  Rating 23/13, Downloaded by 1698  Comments, bugs, improvements  Vim wiki

created by
Diego Ongaro
script type
color scheme
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."
install details

rate this script Life Changing Helpful Unfulfilling 
script versions (upload new version)

Click on the package to download.

package script version date Vim version user release notes
tla.vim 2 2013-02-19 7.0 Diego Ongaro - adds TRUE and FALSE as booleans
- fixes highlighting ----- when there\\'s not an even multiple of four
- fixes highlighting of nested multi-line comments
tla.vim 1 2013-02-13 7.0 Diego Ongaro Initial upload
ip used for rating:

If you have questions or remarks about this site, visit the vimonline development pages. Please use this site responsibly.
Questions about Vim should go to the maillist. Help Bram help Uganda.
Vim at Github