summaryrefslogtreecommitdiff
path: root/tests/mismatch.urs
Commit message (Expand)AuthorAge
* More informative tag mismatch error messageGravatar Adam Chlipala2010-03-16