patch applied (hat): New compiler-detection script for separate hat distribution.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): New hat-configure and Makefile.hat for the separate hat distribution.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Minor tidy-ups of the uses of Tree234. (From Thomas Nordin)
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): No longer build hat-trans by default in the nhc98 distribution.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Hat-trans: corrected numeric patterns (k and n+k).
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
patch applied (hat): When observing constructor applications, omit the (identical) RHS.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Another rename for hat files temporary directory.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Replace 2-3-4 trees with Red-Black trees. (From Thomas Nordin.)
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): A Hat source window should not disappear when someone accidentally hits
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0