runtimeverification/javamop — pull request #120 by kheradmand (2014-10-07 02:43:25+00:00)
Title: made INSTALL files similar to K's, regarding issue #113. However, it does not make that much sense to me

@grosu @seriousamlqz
Please see whether you are pleased with this.