tree 3a5900a3991d13f029abf89ca87e478ba14e3c1b
parent e885dee5ab4dbee2457ee2023340e848fdabdef9
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1532541402 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1532541402 -0300

Small improvements in the manual