Rewrote collating, search and tokens sections.
authorrms <rms>
Mon, 30 Dec 1991 08:07:38 +0000 (08:07 +0000)
committerrms <rms>
Mon, 30 Dec 1991 08:07:38 +0000 (08:07 +0000)
commit67f690014d6ebebde38e9ae2508d8d7a6aec2148
tree6556ed1ca5dd9b372f58554ce81ea863de37cf69
parent974a4695124dd150b45cdcc0841df9b8accc230f
Rewrote collating, search and tokens sections.
manual/string.texi