Commit graph

7 commits

Author SHA1 Message Date
Phạm Huy Hoàng
722617e672 refactor(format): drop extra indentation for field 2024-03-21 15:51:26 +01:00
Phạm Huy Hoàng
77e298e4de chore: format queries 2024-01-21 23:55:02 +09:00
Pham Huy Hoang
57a8acf0c4 chore: query formatting 2024-01-19 16:58:37 +01:00
Christian Clason
5b90ea2aba feat(locals)!: switch to upstream captures 2024-01-19 16:58:37 +01:00
ObserverOfTime
05fe2c38a3 refactor: replace some match & vim-match usages 2023-08-23 16:57:18 +03:00
Andrew Helwer
b46cb0389d Updated queries and parser version 2022-07-13 21:33:45 +02:00
Vasiliy Morkovkin
620cc936ad
update TLA+ revision, add queries for PlusCal (#2344) 2022-01-25 21:02:20 +00:00