tree 34a7652f4100a1aa533972a9edfb5ca42ef1b0df
parent 6e285e539274920830eeec5cd2dde5eeca5863e4
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1571838107 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1571838107 -0300

Several enhancements in the manual