log tests/radio.urs

age author description
2012-03-10 Adam Chlipala Change <radio> to yield [option string]