cvs commit: hugs98/src Makefile.in hugs98/docs libraries-notes.txt