Mon May 21 09:14:29 PDT 2001 malcolm * Rename hat-interact to hat-checki to avoid possible user confusion about what the tool does. M ./src/hattools/Makefile -3 +3 A ./src/hattools/hat-checki.c R ./src/hattools/hat-interact.c