malcolm: Tue Feb 19 17:05:52 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv14087 Modified Files: HatExplore.hs Log Message: Bugfixes in hat-explore: the display of output/error messages when the output is very large. Fix occasional strange highlighting, and wrong positioning.