Re: [GHC] #5850: Greater customization of GHCi prompt

2012-02-07 Thread GHC
#5850: Greater customization of GHCi prompt -+-- Reporter: JamesFisher | Owner: Type: feature request | Status: new Priority: normal|

[GHC] #5850: Greater customization of GHCi prompt

2012-02-06 Thread GHC
#5850: Greater customization of GHCi prompt --+- Reporter: JamesFisher | Owner: Type: feature request | Status: new Priority: normal|