1. 2008-10-03 patch applied (hugs98): Add command line arguments to hugs-cvs Ross Paterson 2. 2008-10-03 patch applied (hugs98): Reset evalDepth on catching a hugs-cvs Ross Paterson