summaryrefslogtreecommitdiff
path: root/queries/tlaplus/locals.scm
AgeCommit message (Expand)Author
2022-07-13Updated queries and parser versionAndrew Helwer
2022-01-25update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin