[cvs-nhc98] patch applied (hat): Greatly improved the efficiency of pretty-hat

Wed Oct 4 04:24:38 PDT 2006 tatd2 * Greatly improved the efficiency of pretty-hat M ./src/hattools/NodeExp.hs -6 +18 M ./src/hattools/Pretty.hs -13 +18