patch applied (hat): Remove instance of Eq (SExp Label) - it requires non-H' 98 overlapping insts.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
1
0
patch applied (hat): Update and clarify the licence text, in the same way as recently updated
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Fix bit-rot compilation errors (due to changes in supporting libraries).
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Add redirection scripts for black-hat and hat-nonterm.
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): Remove output of trace pointer when bug is located.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0