log tests/mismatch.ur

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