Frank Mittelbach wrote: > so in short I personally think the names are nice enough, what would be need > to work out better in documentation is that both _toks and _tlp hold tlists as > their content but offer different manipulation possibilities and since you > can't easily provide the "toks" ones within the tlp family the extra type is > kept. Perhaps it should be pointed out that one should restrict the use of > _toks to internal situations where this processing is needed Overall, sounds sensible. Now Will just has to write it :-) -- Joseph Wright