1
0
patch applied (hat): Swap the Makefile build from old Main.hs to MainNew.hs.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
10 Oct '06
1
0
10 Oct '06
1
0
patch applied (hat): Hide away top-level identifier bit in basic c interface: hatinterface.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Some more places where top-level identifiers are relevant to the hat tools.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Remove some more obsolete ' trusting' code.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): More fixes to hat tools to recognise top-level identifiers.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Distinguish toplevel identifiers from locally defined identifiers in
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0