aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus/locals.scm
Commit message (Expand)AuthorAgeFilesLines
* Updated queries and parser versionAndrew Helwer2022-07-131-13/+60
* update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin2022-01-251-0/+42