17 Dec
2001
17 Dec
'01
12:04 p.m.
Thanks for the latest bunch of error reports, Ian. Patches below.
These don't seem to have made it to the patches section on http://www.cs.york.ac.uk/fp/nhc98/download.html
Ok, all recent patches (including today's) are now available in the usual place. Regards, Malcolm