Ambiguities are now allowed in ghci command names
authorIan Lynagh <igloo@earth.li>
Sun, 3 Sep 2006 22:21:15 +0000 (22:21 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 3 Sep 2006 22:21:15 +0000 (22:21 +0000)
commit8eb677bc6758080886aa8b21340cc3470b249b75
tree047ba4cf917a790fa185ffddfb02e831eba98666
parent72eb3683f8a5a50588df662f9ba77d1d01f05cef
Ambiguities are now allowed in ghci command names
docs/users_guide/ghci.xml