log tests/vlad2.urp

age author description
Wed, 25 Nov 2009 09:48:23 -0500 Adam Chlipala Hint about disallowed attributes