../ chk.code,v 24-Aug-2003 12:18 1219 chk.def,v 24-Aug-2003 12:18 1479 chk.define,v 24-Aug-2003 12:18 1952 chk.nl,v 24-Aug-2003 12:43 2630 chk.offt,v 24-Aug-2003 12:18 1185 chk.proto,v 24-Aug-2003 12:18 1201 chk.pubdef,v 24-Aug-2003 12:43 4495 chk.srcfiles,v 24-Aug-2003 12:18 1221 chk.str,v 24-Aug-2003 12:18 911 chk.tags,v 24-Aug-2003 12:18 1307 script,v 24-Aug-2003 12:18 2782 spell.ok,v 24-Aug-2003 12:43 5376