log tests/xcomments.urs

age author description
2010-08-10 Adam Chlipala ML-style comments inside XML