cvs commit: hugs98/tools prelude.patch hugs-hc

17 Nov 2004


      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

Ross Paterson

tags

participants (1)