log tests/char.urp

age author description
2009-05-26 Adam Chlipala Chars and more string operations