cvs commit: hugs98/libraries/tools hugs-package.in

[Ross Paterson]

ross        2004/11/30 07:57:55 PST

  Modified files:
    libraries/tools      hugs-package.in 
  Log:
  simplify hugs-package a bit using the new +i option to runhugs
  
  Revision  Changes    Path
  1.12      +56 -126   hugs98/libraries/tools/hugs-package.in