aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus/locals.scm
Commit message (Expand)AuthorAgeFilesLines
* refactor(queries): Remove quotes from properties in set! directiveOmar Valdez2024-07-281-4/+4
* refactor(format): drop extra indentation for fieldPhạm Huy Hoàng2024-03-211-6/+4
* chore: format queriesPhạm Huy Hoàng2024-01-211-3/+3
* chore: query formattingPham Huy Hoang2024-01-191-34/+115
* feat(locals)!: switch to upstream capturesChristian Clason2024-01-191-43/+43
* refactor: replace some match & vim-match usagesObserverOfTime2023-08-231-2/+1
* Updated queries and parser versionAndrew Helwer2022-07-131-13/+60
* update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin2022-01-251-0/+42