log tests/char.ur

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