aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus
Commit message (Expand)AuthorAgeFilesLines
* feat!: add `@keyword.coroutine` captureAmaan Qureshi2023-03-031-1/+3
* Updated queries and parser versionAndrew Helwer2022-07-132-36/+119
* Updated TLA+ version, queries, maintainers (#2442)Andrew Helwer2022-02-031-9/+11
* update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin2022-01-253-64/+174
* Updated TLA+ grammar version and queriesAndrew Helwer2021-10-071-1/+5
* @number -> @keywordAndrew Helwer2021-08-301-1/+1
* Updated highlight queries for tlaplusAndrew Helwer2021-08-301-29/+47
* Highlight some keyword.function nodes as just keywordsAndrew Helwer2021-08-201-5/+5
* Added TLA+ grammar & queriesAndrew Helwer2021-08-203-0/+149