Documentation updates
commit508f06277de0405e48ddc1e62dde214517b5b549
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 13 May 2013 23:36:16 +0000 (14 01:36 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 13 May 2013 23:36:16 +0000 (14 01:36 +0200)
tree5bd072d92a80b032e6ab75c75ef37ef96db37f34
parent48b70f4bcee81de0d2a61eb2310ed08ab4e306f3
Documentation updates

A nit about the new commands docs, and thanks to Nick Parker.
AUTHORS
NEWS
doc/parens.texi