ghci command docs tweaks
authorIan Lynagh <igloo@earth.li>
Mon, 16 Jul 2007 17:06:01 +0000 (17:06 +0000)
committerIan Lynagh <igloo@earth.li>
Mon, 16 Jul 2007 17:06:01 +0000 (17:06 +0000)
commit742722477ac2edcb142747aa9ab99345eeb454ed
treeec26f0ed461c4104d84171e34e885a6400191762
parente9e4c5db14416bc83f33438a652a13ba061c394b
ghci command docs tweaks
docs/users_guide/ghci.xml