29 Aug
2007
29 Aug
'07
1:37 a.m.
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