Tue Oct 12 10:22:09 PDT 2004 olaf * Added a message line that either gives some state information or shows a warning message. Reduce screen flickering by forcing the whole screen output string before doing output. Cut overlong lines at end of line. Handle \t, \r and \f correctly. Added forgotten export of "home" to HighlightStyle. M ./src/hattools/HatExplore.hs -27 +74 M ./src/hattools/HighlightStyle.hs -1 +1