[cvs-nhc98] patch applied (nhc98): note recent fixes to nhc98 in the docs

Tue Sep 12 07:24:16 PDT 2006 Malcolm.Wallace@cs.york.ac.uk * note recent fixes to nhc98 in the docs M ./docs/history98.html -1 +16