On Saturday 04 August 2007 14:04:15 Andrea Rossato wrote:

Hi,

This is the correct one to apply. The previous one must be discarded.

Sorry for the noise.

Andrea

Sat Aug 4 20:32:52 CEST 2007 Andrea Rossato * XPrompt.hs: removed defaultPromptConfig. use defautlXPConfig instead

Sat Aug 4 20:59:14 CEST 2007 Andrea Rossato * XPrompt.hs: read history lazily Instead of forcing the reading of all the history file we read it lazily.

Applied, thanks.