patch applied (hat): Re-format to 80 columns, tidy up some help messages.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Update hat user manual and correct inconsistency in hat-observe (show 10 reductions).
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Correct symbol in help panel about conditionals, case and guard.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Change " Hat 1.08 Trail Browser" to " hat-trail browser" .
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
10 Oct '06
1
0
patch applied (hat): In hat-trail, change " Connect" to " Open" and " Disconnect" to " Close" in
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
patch applied (hat): Fix the detection of top-level identifiers in hat-check, hat-stack,
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
[cvs-nhc98] patch applied (hat): Make a small fix to yesterday' s fix for a qualified name used in the
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0