tweaks
authorSimon Marlow <marlowsd@gmail.com>
Wed, 13 Oct 2010 18:43:22 +0000 (18:43 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 13 Oct 2010 18:43:22 +0000 (18:43 +0000)
commit0729e745e2f13888f9ccc76c10546a52e953fa6f
treed338fadb07ac201a9e4f941f4292a9d4c418c648
parent676b26bb57906b7fccf813771909ee19366e81e2
tweaks
docs/users_guide/ghci.xml
docs/users_guide/using.xml