log tests/subforms.urs

age author description
2009-04-30 Adam Chlipala Subforms type-checks; lists urlified and unurlified