[project @ 2005-03-02 18:22:11 by simonpj]
authorsimonpj <unknown>
Wed, 2 Mar 2005 18:22:11 +0000 (18:22 +0000)
committersimonpj <unknown>
Wed, 2 Mar 2005 18:22:11 +0000 (18:22 +0000)
commitc7f45440016ec1502209f13006682de89021eb3b
tree9de6a902fcace4c3023d613e43df93da18044dbc
parent8e14697c6e2cccc0a632233ffe95505765db2eef
[project @ 2005-03-02 18:22:11 by simonpj]
Add note about defaulting
ghc/docs/users_guide/ghci.xml