Adjusted the printing of Characters so that quotes are backslash-escaped; this makes...
treee66ec252dad82baedd4ba24f63f2e66f41f8e25c
-rw-r--r-- 65 .gitignore
-rw-r--r-- 4082 INTERNALS
-rw-r--r-- 1128 LICENSE
-rw-r--r-- 2613 Makefile
-rw-r--r-- 5092 README
-rw-r--r-- 927 TODO
-rw-r--r-- 6673 common.mk
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - pkg
drwxr-xr-x - src
drwxr-xr-x - tests