17 Nov
2004
17 Nov
'04
8:24 a.m.
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