Tweak punctuation in the user guide
authorIan Lynagh <igloo@earth.li>
Mon, 16 Jul 2007 17:15:50 +0000 (17:15 +0000)
committerIan Lynagh <igloo@earth.li>
Mon, 16 Jul 2007 17:15:50 +0000 (17:15 +0000)
commit2df369da6d961f278b231aac6d21fdd25dafaf31
tree6449dc661c121a382876376b15d5d94ace7ee311
parent742722477ac2edcb142747aa9ab99345eeb454ed
Tweak punctuation in the user guide
docs/users_guide/ghci.xml