Add an entry fo the ghci command :run to the user guide
authorIan Lynagh <igloo@earth.li>
Tue, 1 Dec 2009 17:33:39 +0000 (17:33 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 1 Dec 2009 17:33:39 +0000 (17:33 +0000)
commite192dcbfaf85e299ac49b0e2ba3475fc1d517291
tree896872052864b7b2ee190f74bced988b697780db
parent3ffe7863bbf8f5b988f84265027be01c342de6e8
Add an entry fo the ghci command :run to the user guide
docs/users_guide/ghci.xml