
30 Aug
2007
30 Aug
'07
10:48 a.m.
On Tuesday 28 August 2007 12:37:08 Andrea Rossato wrote:
Hi,
this is a set of patches to XPrompt: there is David's fix. The rest is just code formatting (new lines removal, vertical alignment), and nothing more.
Andrea
Wed Aug 22 21:32:20 CEST 2007 Andrea Rossato
* XPrompt: just code formatting Mon Aug 27 20:58:58 CEST 2007 David Roundy
* fix bug leading to early exit in XPrompt. Mon Aug 27 21:18:30 CEST 2007 David Roundy
* make code more compact in XPrompt. Tue Aug 28 10:12:35 CEST 2007 Andrea Rossato
* XPrompt.hs: remove debugging bits
Applied, thanks.