Doc tweak
authorIan Lynagh <igloo@earth.li>
Mon, 16 Jul 2007 17:47:35 +0000 (17:47 +0000)
committerIan Lynagh <igloo@earth.li>
Mon, 16 Jul 2007 17:47:35 +0000 (17:47 +0000)
commit66518f5de0f2f5076f06f2e037411985d96809e0
tree9e190c4259af2ceca9da1d65a4289714f0a6ca45
parent08be85b35bade4827fb957deb05b244e0435155f
Doc tweak
docs/users_guide/ghci.xml