[cvs-nhc98] patch applied (hat): renamed " hatApplInfix" to " hatInfix" .

10 Oct 2006


      Wed Sep 19 08:49:39 PDT 2001  thorsten
  * renamed "hatApplInfix" to "hatInfix".
  modified documentation of "hatApplFun".

    M ./src/hattools/HatExpressionTree.hs -8 +9
    M ./src/hattools/HatTrace.gc -15 +19

[cvs-nhc98] patch applied (hat): renamed &quot; hatApplInfix&quot; to &quot; hatInfix&quot; .

Malcolm Wallace

[cvs-nhc98] patch applied (hat): renamed " hatApplInfix" to " hatInfix" .