summaryrefslogtreecommitdiff
path: root/tests/subforms.urs
Commit message (Collapse)AuthorAge
* Subforms type-checks; lists urlified and unurlifiedGravatar Adam Chlipala2009-04-30