patch applied (hat): Build hat-tools directly into lib/machine final directory.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Rename hat-interact to hat-checki to avoid possible user confusion
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Slightly updated user manual and web pages for Hat.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
1
0
patch applied (hat): - introduced workaround for IO(_): showing operation behind HIDDEN node
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): - fixed two minor bugs in hat-detect.c, concerning displaying erroneous equations
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): In tracing runtime, do interrupt/quit signals correctly.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0