More documentation improvements
commit8c4a672ccc24711edf61a0ef29747a870aba35f8
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 15:01:23 +0000 (10 16:01 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 15:01:23 +0000 (10 16:01 +0100)
treea4f9661c129a09b3af15df2410dab9cb3981e541
parentf9fbf7ee18f5de9b1608c303bb108552e041e205
More documentation improvements
doc/parens.texi
doc/repl.texi