| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Updated queries and parser version | Andrew Helwer | 2022-07-13 | 2 | -36/+119 |
| * | Updated TLA+ version, queries, maintainers (#2442) | Andrew Helwer | 2022-02-03 | 1 | -9/+11 |
| * | update TLA+ revision, add queries for PlusCal (#2344) | Vasiliy Morkovkin | 2022-01-25 | 3 | -64/+174 |
| * | Updated TLA+ grammar version and queries | Andrew Helwer | 2021-10-07 | 1 | -1/+5 |
| * | @number -> @keyword | Andrew Helwer | 2021-08-30 | 1 | -1/+1 |
| * | Updated highlight queries for tlaplus | Andrew Helwer | 2021-08-30 | 1 | -29/+47 |
| * | Highlight some keyword.function nodes as just keywords | Andrew Helwer | 2021-08-20 | 1 | -5/+5 |
| * | Added TLA+ grammar & queries | Andrew Helwer | 2021-08-20 | 3 | -0/+149 |
