patch applied (hat): Change (f . g) = \x-> f (g x) to (.) f g x = f (g x)
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
patch applied (hat): Comment out the over-large display squashing code. Reduce the maximum
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Fix incorrect pretty-printing indent in hat-observe: the highlighting
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): In pattern lexing, should accept _ and ' as part of an identifier.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Fix incorrect (cyclic) display of (non-cyclic) partial structures,
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Re-introduce pattern queries in hat-observe. There is now a proper
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Solve the problem that _ did not expand in verbose mode, and _|_ and
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Turn off the behaviour of hat-observe whereby a functional CAF
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Fix bug where hat-observe started remotely from another tool did not
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0