[cvs-nhc98] patch applied (hat): Efficiency improvements in hat-delta and pretty-hat

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:32:57 EDT 2006


Wed Jan 25 07:48:43 PST 2006  tatd2
  * Efficiency improvements in hat-delta and pretty-hat

    M ./src/hattools/EDT.hs +6
    M ./src/hattools/NodeExp.hs -12 +30
    M ./src/hattools/Pretty.hs -21 +21
    R ./src/hattools/Set.hs


More information about the Cvs-nhc98 mailing list