cvs commit: hugs98/docs/users_guide Makefile.in others.xml winhugs.png

Ross Paterson ross at soi.city.ac.uk
Fri Apr 28 08:24:16 EDT 2006


ross        2006/04/28 05:24:16 PDT

  Modified files:
    docs/users_guide     Makefile.in others.xml 
  Added files:
    docs/users_guide     winhugs.png 
  Log:
  introduction to WinHugs, from Neil, mangled by me.
  
  Revision  Changes    Path
  1.18      +4 -1      hugs98/docs/users_guide/Makefile.in
  1.4       +83 -1     hugs98/docs/users_guide/others.xml


More information about the Cvs-hugs mailing list