log lib/ur/char.ur

age author description
2010-01-12 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
2009-12-08 Adam Chlipala Context globals; ctype functions