8 commits

Author	SHA1	Message	Date
Omar Valdez	51bba660a8	refactor(queries): Remove quotes from properties in set! directive	2024-07-28 11:43:41 +02:00
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