| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-07-13 | Updated queries and parser version | Andrew Helwer | |
| 2022-02-03 | Updated TLA+ version, queries, maintainers (#2442) | Andrew Helwer | |
| 2022-01-25 | update TLA+ revision, add queries for PlusCal (#2344) | Vasiliy Morkovkin | |
| 2021-10-07 | Updated TLA+ grammar version and queries | Andrew Helwer | |
| 2021-08-30 | @number -> @keyword | Andrew Helwer | |
| 2021-08-30 | Updated highlight queries for tlaplus | Andrew Helwer | |
| 2021-08-20 | Highlight some keyword.function nodes as just keywords | Andrew Helwer | |
| 2021-08-20 | Added TLA+ grammar & queries | Andrew Helwer | |
