cvs commit: hugs98/docs/users_guide using_hugs.xml hugs_ghc.xml options.xml

[Ross Paterson]

ross        2004/10/29 09:59:50 PDT

  Modified files:
    docs/users_guide     using_hugs.xml hugs_ghc.xml options.xml 
  Log:
  markup tweaks
  
  Revision  Changes    Path
  1.9       +1 -1      hugs98/docs/users_guide/using_hugs.xml
  1.4       +4 -4      hugs98/docs/users_guide/hugs_ghc.xml
  1.7       +3 -3      hugs98/docs/users_guide/options.xml