tree 3cd0eacf3c320dcc5ec695529b2f68ebbf041268
parent ef18737b7f920bc9e8f406cfb71730b9f07c13f5
author Ezio Melotti <ezio.melotti@gmail.com> 1329158215 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1329158215 +0200

Fix an index, add more tests, avoid raising errors for unknown declarations, and clean up comments.