cvs commit: hugs98/libraries/tools convert_libraries

Ross Paterson ross at soi.city.ac.uk
Thu Aug 10 08:45:18 EDT 2006


ross        2006/08/10 05:45:18 PDT

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  Data.FiniteMap and the old Data.Set interface are no more
  
  Revision  Changes    Path
  1.40      +0 -3      hugs98/libraries/tools/convert_libraries


More information about the Cvs-hugs mailing list