phadej/menrva — pull request #6 by phadej (2014-07-07 05:49:34+00:00)
Title: Instance index

Also fixed propagation bug