log tests/id.ur

age author description
2012-03-16 Adam Chlipala Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)