4 Aug
2007
4 Aug
'07
7:04 p.m.
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 <andrea.rossato@unibz.it> * XPrompt.hs: removed defaultPromptConfig. use defautlXPConfig instead Sat Aug 4 20:59:14 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * XPrompt.hs: read history lazily Instead of forcing the reading of all the history file we read it lazily.