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

Thu Mar 10 05:57:14 EST 2005

ross        2005/03/10 02:57:13 PST

  Modified files:
    docs/users_guide     faq.xml hugs_ghc.xml options.xml 
  Log:
  minor tweaks
  
  Revision  Changes    Path
  1.5       +1 -1      hugs98/docs/users_guide/faq.xml
  1.7       +7 -4      hugs98/docs/users_guide/hugs_ghc.xml
  1.17      +1 -1      hugs98/docs/users_guide/options.xml