[nhc-bugs] nhc 1.10 bugs

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Fri, 26 Oct 2001 14:01:25 +0100 

> Here are some Time related bugs and fixes.
> tdPicosec misspelled, diffClockTimes and addClockTimes not implemented.

Thanks Lennart.  Now incorporated in CVS.
Regards,
    Malcolm