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

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