Manual: fixes for the print edition
commit847fd9c4e5f847a5bf0b007c7dddf693a6857229
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 11 Jan 2011 21:22:10 +0000 (11 22:22 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 11 Jan 2011 21:22:10 +0000 (11 22:22 +0100)
tree03a6248ac28c94b4c366d8e44c99bbd9efca0459
parent309bb67eb7b9ff06a3278eea4680a3287283c9b6
Manual: fixes for the print edition
doc/parens.texi
doc/repl.texi