tok: allow parting characters to be redefined
tree44fd9ff74469c0b41e09545c233bf436a0edbffd
-rw-r--r-- 202 Makefile
-rw-r--r-- 1109 README
-rw-r--r-- 32133 box.c
-rw-r--r-- 11654 def.c
-rw-r--r-- 13906 eqn.c
-rw-r--r-- 6725 eqn.h
-rw-r--r-- 1720 reg.c
-rw-r--r-- 1294 sbuf.c
-rw-r--r-- 3005 src.c
-rw-r--r-- 10603 tok.c