cvs commit: hugs98/libraries/tools hugs-package.in hugs98/docs packages.txt