runtimeverification/javamop — pull request #88 by owolabileg (2014-09-27 06:20:08+00:00)
Title: New INSTALL file

@seriousamlqz, @yzhang90, @grosu, please review