cvs commit: hugs98 Makefile hugs98/demos Makefile.in hugs98/docs Makefile.in hugs98/docs/users_guide Makefile.in hugs98/libraries Makefile.in

[Ross Paterson]

ross        2005/03/10 02:49:14 PST

  Modified files:
    .                    Makefile 
    demos                Makefile.in 
    docs                 Makefile.in 
    docs/users_guide     Makefile.in 
    libraries            Makefile.in 
  Log:
  more cleaning
  
  Revision  Changes    Path
  1.59      +7 -11     hugs98/Makefile
  1.3       +1 -0      hugs98/demos/Makefile.in
  1.7       +1 -0      hugs98/docs/Makefile.in
  1.14      +1 -0      hugs98/docs/users_guide/Makefile.in
  1.13      +15 -4     hugs98/libraries/Makefile.in