log website/src/manual.html.luan @ 1128:34dfed3b5cb0

age author description
Sun, 21 May 2017 16:12:22 -0600 Franklin Schmidt add Table.is_empty() and Table.size()