Fri Jun 14 07:25:24 PDT 2002 malcolm * In hat-trail built with ghc, the : commands were not being echoed, due to buffering on stdout. Added a banner giving the version number and simple help. M ./src/hattools/HatTrail.hs -6 +9