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

[Ross Paterson]

ross        2005/07/13 10:47:51 PDT

  Modified files:
    docs/users_guide     Makefile.in options.xml users_guide.xml 
  Added files:
    docs/users_guide     others.xml 
  Log:
  restructure to make room for a brief description of winhugs.
  
  Revision  Changes    Path
  1.15      +1 -1      hugs98/docs/users_guide/Makefile.in
  1.19      +0 -163    hugs98/docs/users_guide/options.xml
  1.6       +2 -0      hugs98/docs/users_guide/users_guide.xml