log tests/mismatch.urp

age author description
2010-03-16 Adam Chlipala More informative tag mismatch error message