cvs commit: hugs98/docs/users_guide options.sgml using_hugs.sgml Makefile.in hugs_ghc.sgml introduction.sgml users_guide.sgml commands.sgml running.sgml