summaryrefslogtreecommitdiff
path: root/tests/tags.urp
Commit message (Expand)AuthorAge
* New syntactic shorthand for antiquoting subqueriesGravatar Adam Chlipala2014-06-25