simonpj 2005/03/02 10:22:12 PST Modified files: ghc/docs/users_guide ghci.xml Log: Add note about defaulting Revision Changes Path 1.4 +3 -0 fptools/ghc/docs/users_guide/ghci.xml