runtimeverification/javamop — pull request #129 by yzhang90 (2014-10-13 21:14:36+00:00)
Title: add INSTALL.md to the assembly code

@seriousamlqz please review