1. 2007-07-24 patch applied (hugs98): place extra header files in b hugs-cvs Ross Paterson 2. 2007-07-24 patch applied (hugs98): use new --configure-option op hugs-cvs Ross Paterson 3. 2007-07-24 cvs commit: www/Hugs/pages downloading-Sep2006.htm hugs-cvs Ross Paterson