simonmar 2002/01/04 02:31:36 PST Modified files: (Branch: ghc-5-02-branch) ghc/docs/users_guide ghci.sgml Log: merge rev. 1.23 Revision Changes Path 1.20.2.3 +6 -6 fptools/ghc/docs/users_guide/ghci.sgml