Hi, these patches are the result of a suggestion by Donald. I started using quickcheck to test XPrompt. I've also added a tests directory to the contrib repository, with the tests for XPrompt and ShellPrompt. I did not have time to write not too stupid properties, so I just generated a huge lot of data to check for exceptions... take into account that this is day 1 of my quickcheck experience... suggestions are really welcome! by the way I found what I was hoping not to find, and so I corrected skipLastWord and getlastWord. More to come I'm afraid. andrea Thu Aug 16 20:05:02 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * XPrompt: quickcheck related refactoring With this patch XPrompt can be tested with quickcheck. As a result getLastWord and skipLastWord has been refactored to avoid possible exceptions. Thu Aug 16 20:07:59 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * added a tests directory with quickcheck tests for XPrompt and ShellPrompt