[cvs-nhc98] patch applied (hat): Pretty hat no longer prints terminal escape codes

[Malcolm Wallace]

Thu Oct 20 03:06:36 PDT 2005  tatd2
  * Pretty hat no longer prints terminal escape codes

    M ./src/hattools/Detect.hs -14 +1
    M ./src/hattools/EDT.hs -1 +9
    M ./src/hattools/HatDelta.hs -4 +5
    M ./src/hattools/HatDetect.hs -3 +3
    M ./src/hattools/NodeExp.hs -1 +21
    M ./src/hattools/Pretty.hs -20 +13