log tests/cselect.urp

age author description
2009-05-14 Adam Chlipala cselect