tla.vim : TLA+ specification language
| script karma
Downloaded by 500
Comments, bugs, improvements
script versions (upload new version)
|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."
Click on the package to download.
ip used for rating: 220.127.116.11
||- adds TRUE and FALSE as booleans
- fixes highlighting ----- when there\\'s not an even multiple of four
- fixes highlighting of nested multi-line comments