log tests/vlad2.urp

age author description
2009-11-25 Adam Chlipala Hint about disallowed attributes