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 <andrea.rossato@unibz.it> * XPrompt: just code formatting

Mon Aug 27 20:58:58 CEST 2007 David Roundy <droundy@darcs.net> * fix bug leading to early exit in XPrompt.

Mon Aug 27 21:18:30 CEST 2007 David Roundy <droundy@darcs.net> * make code more compact in XPrompt.

Tue Aug 28 10:12:35 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * XPrompt.hs: remove debugging bits

Applied, thanks.