Document string-prefix-p
authorGlenn Morris <rgm@gnu.org>
Thu, 22 Mar 2012 06:21:28 +0000 (23:21 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 22 Mar 2012 06:21:28 +0000 (23:21 -0700)
commitc8f6ec5c01d213657dca733f58be5069cc7cf86a
tree198c473985556a682cd6366f8c4fa5435a7fb18e
parent0e85d2cf5498f18f902fab081634316f166589a6
Document string-prefix-p

* doc/lispref/strings.texi (Text Comparison): Mention string-prefix-p.
* etc/NEWS: Belated entry.
doc/lispref/ChangeLog
doc/lispref/strings.texi
etc/NEWS