[Coco] tokenize2

[Roger Taylor]

Randall,

Well over a year ago we talked about how the way str.tokenize/2 routines 
treat quote characters.  I was having problems using these functions to 
separate a string of text into tokens using the SPACE and TAB characters 
only.  You mentioned the possibility of adding a tokenize3 routine that 
didn't consider the " " characters.  Do you have time to add this to the 
stdlib for a future version?

Thanks,


----------
Roger Taylor