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