log tests/mismatch.urs

age author description
Tue, 16 Mar 2010 16:17:02 -0400 Adam Chlipala More informative tag mismatch error message