summaryrefslogtreecommitdiff
path: root/tests/nested.urs
Commit message (Expand)AuthorAge
* Testing nested queriesGravatar Adam Chlipala2009-07-17