
10 Oct '06
1
0

patch applied (hat): Enable a sequential node-by-node crawl through the .hat file by a
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0

patch applied (hat): Use new source reference end positions to highlight the expression of
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Use cpp constants True and False (from art.h) rather than TRUE and FALSE.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Introduce a new expression marker " DoLambda" , for the lambda exps created
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Ensure that hat-graph calls the corresponding version of hat-check.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Added hat-source in configure, so that it is also installed by make install.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): List directories for a few more packages (even though they don' t yet
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0