aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus
Commit message (Collapse)AuthorAgeFilesLines
* 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