summaryrefslogtreecommitdiff
path: root/queries/tlaplus/highlights.scm
AgeCommit message (Collapse)Author
2022-07-13Updated queries and parser versionAndrew Helwer
2022-02-03Updated TLA+ version, queries, maintainers (#2442)Andrew Helwer
2022-01-25update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin
2021-10-07Updated TLA+ grammar version and queriesAndrew Helwer
2021-08-30@number -> @keywordAndrew Helwer
2021-08-30Updated highlight queries for tlaplusAndrew Helwer
2021-08-20Highlight some keyword.function nodes as just keywordsAndrew Helwer
2021-08-20Added TLA+ grammar & queriesAndrew Helwer