cvs commit: hugs98 Makefile hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2006/06/13 07:30:20 PDT

  Modified files:
    .                    Makefile 
    libraries/tools      convert_libraries 
  Log:
  include (a subset of) the stm package
  
  Revision  Changes    Path
  1.78      +1 -1      hugs98/Makefile
  1.38      +1 -1      hugs98/libraries/tools/convert_libraries