runtimeverification/javamop — pull request #144 by owolabileg (2014-10-21 04:31:16+00:00)
Title: making a pass over INSTALL.md

@seriousamlqz, @kheradmand, @xiaohe27, please review