aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus
Commit message (Expand)AuthorAgeFilesLines
* refactor(format): drop extra indentation for fieldPhạm Huy Hoàng2024-03-211-6/+4
* chore: format queriesPhạm Huy Hoàng2024-01-212-11/+11
* fix(highlights): improve consistencyObserverOfTime2024-01-191-4/+0
* chore: query formattingPham Huy Hoang2024-01-193-143/+343
* feat!: align standard captures with upstreamChristian Clason2024-01-191-24/+24
* feat(locals)!: switch to upstream capturesChristian Clason2024-01-191-43/+43
* feat: @spell on commentsJaehwang Jung2023-09-121-2/+2
* refactor: replace some match & vim-match usagesObserverOfTime2023-08-231-2/+1
* chore(injections)!: update injection syntax to 0.9Pham Huy Hoang2023-08-121-2/+3
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.53.0) at 2026-02-19 04:09:17 +0000