At 10:16 28/07/04 +0100, Simon Marlow wrote: >Does anyone object to calling it 'split'? Not I. 'split' is a name I have used on occasion for my own definition. #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact