tla.vim : TLA+ specification language
| script karma |
Rating 23/13,
Downloaded by 1958 |
Comments, bugs, improvements
|
Vim wiki
|
| created by |
| Diego Ongaro |
| |
| script type |
| color scheme |
| |
| description |
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 |
|
| |
script versions (upload new version)
Click on the package to download.
| 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: 216.73.216.44
|
