patch applied (hat): Update hat-stack to the new file format (untested).
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Correct bug in creating constructor with labelled fields for new file format.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Low-level routines for hat-trail are updated to new file format.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
10 Oct '06
1
0
10 Oct '06
1
0
patch applied (hat): Generation of new Augmented Redex Trail file format.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Remove dummy structs, and reformat for legibility.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
10 Oct '06
1
0
patch applied (hat): Various minor performance tweaks supplied by Thomas Nordin, yielding
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0