patch applied (hat): renamed " hatApplInfix" to " hatInfix" .
10 Oct
2006
10 Oct
'06
11:07 a.m.
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
7196
Age (days ago)
7196
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace