log tests/vlad1.urs

age author description
2009-11-25 Adam Chlipala Add 'id' attributes and <label>