Hugs documentation

Ross Paterson ross@soi.city.ac.uk
Tue, 25 Feb 2003 23:31:18 +0000


What is the status of the Hugs 98 User Manual?  Can it be updated?