Add :main docs to ghci commands page
authorIan Lynagh <igloo@earth.li>
Sun, 3 Sep 2006 22:31:07 +0000 (22:31 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 3 Sep 2006 22:31:07 +0000 (22:31 +0000)
commite38496fa2f7b8d7f6541677ac91149562f6f19ae
tree1dfff32672b2f4451e22c44642d57e7fc5a74648
parent8eb677bc6758080886aa8b21340cc3470b249b75
Add :main docs to ghci commands page
docs/users_guide/ghci.xml