ross 2004/11/17 05:24:17 PST Modified files: tools hugs-hc Added files: tools prelude.patch Log: add a patch to Hugs.Prelude for use with hugs-hc Revision Changes Path 1.2 +2 -14 hugs98/tools/hugs-hc