[cvs-nhc98] patch applied (hat): Oops, a reverse-video box should occupy a single character in the

10 Oct 2006


      Fri Feb 15 07:57:21 PST 2002  malcolm
  * Oops, a reverse-video box should occupy a single character in the
  pretty-printer, not more.  Use the `highlight' document combinator,
  rather than a literal string with embedded escape codes.

    M ./src/hattools/PrettyExp.hs -6 +6

[cvs-nhc98] patch applied (hat): Oops, a reverse-video box should occupy a single character in the

Malcolm Wallace