[cvs-nhc98] patch applied (nhc98): new patch available for stable release

Mon Aug 21 07:54:30 PDT 2006 Malcolm.Wallace@cs.york.ac.uk * new patch available for stable release M ./docs/download.html -1 +10