log tests/vlad2.urs

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