A couple more doc fixes
commit2ff0d4afe8730859d84dbe4a959d7d3147c6d495
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 19:45:00 +0000 (10 20:45 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 19:45:00 +0000 (10 20:45 +0100)
tree38872f5c130db82a2f6d4141fd3582c29fb557d2
parent8c4a672ccc24711edf61a0ef29747a870aba35f8
A couple more doc fixes
doc/parens.texi
doc/repl.texi