log tests/urlifyVariant.ur

age author description
2012-04-28 Adam Chlipala Fix urlification of recursive polymorphic variants